Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

Cambridge University Press

Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Cambridge University Press

Kurzinformation

Sprache:

Englisch

ISBN:

9780521450553

Verlag:

Cambridge University Press

Seitenzahl:

200 Seiten

Auflage:

-

Erschienen:

1993-05-20

Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

Specification and Proof in Real Time CSP

The research contained in this book represents work on the specification and verification of real-time systems using CSP. von Davies, Jim

Produktdetails

Einband:

Hardcover

Seitenzahl:

200 Seiten

Erschienen:

1993-05-20

Sprache:

Englisch

EAN:

9780521450553

ISBN:

9780521450553

Verlag:

Cambridge University Press

Gewicht:

583 g

Auflage:

-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Entdecke mehr vom Verlag

Cambridge University Press

Akzeptabel

0,00 €

Entdecke mehr zum Thema

-38%

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)

paperback
740 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Foundations of Computer Science...

Pultr, Ales

71,52 € 114,48 €

-32%

Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings (Lecture Notes in Computer Science, 3618, Band 3618)

paperback
830 Seiten
Erschienen 2005
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Foundations of Computer Science...

Jedrzejowicz, Joanna

72,44 € 106,99 €

-39%

Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series, 400)

paperback
286 Seiten
Erschienen 2012
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Dense Sphere Packings: A Blueprint for Formal...

Hales, Thomas

42,56 € 69,94 €

Program Verification (International Computer Science Series)

hardcover
324 Seiten
Erschienen 1992
Addison Wesley

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Program Verification (International Computer...

Francez, Nissim

5,36 €

Writing Testbenches: Functional Verification of HDL Models

hardcover
384 Seiten
Erschienen 2000
Kluwer Academic Publishers

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Writing Testbenches: Functional Verification of...

Bergeron, Janick

27,31 €

-31%

Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)

hardcover
153 Seiten
Erschienen 1993
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Complexity of Proofs and Their Transformations...

Orevkov, V. P.

61,68 € 89,88 €

Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics, 425, Band 425)

paperback
150 Seiten
Erschienen 2007
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Advances in Logic: The North Texas Logic...

Jackson, Steve

122,00 €

-27%

Decomposition Spectrale et Series d'Eisenstein: Une Paraphrase De l'Ecriture (Progress in Mathematics, 113, Band 113)

hardcover
373 Seiten
Erschienen 1993
Birkhäuser Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Decomposition Spectrale et Series d'Eisenstein:...

Waldspurger, J.L.

77,38 € 105,59 €

-26%

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

paperback
388 Seiten
Erschienen 2008
Springer Berlin Heidelberg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formal Hardware Verification: Methods and...

Kropf, Thomas

42,38 € 57,23 €

-38%

Algorithms - ESA 2003: 11th Annual European Symposium, Budapest, Hungary, September 2003 Proceedings: 11th Annual European Symposium, Budapest, ... Notes in Computer Science, 2832, Band 2832)

paperback
808 Seiten
Erschienen 2009
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Algorithms - ESA 2003: 11th Annual European...

Di Battista, Giuseppe

71,52 € 114,48 €

-19%

Coding Theory and Applications: 3rd International Colloquium, Toulon, France, November 2-4, 1988. Proceedings (Lecture Notes in Computer Science, 388, Band 388)

paperback
344 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Coding Theory and Applications: 3rd...

Cohen, Gerard

46,40 € 57,23 €

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

paperback
320 Seiten
Erschienen 1993
Prentice-Hall

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic for Computer Science...

Ben-Ari, Mordechai

37,23 €

-64%

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

hardcover
556 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Applied Proof Theory: Proof Interpretations and...

Kohlenbach, Ulrich

49,69 € 139,09 €

Closure Spaces and Logic (Mathematics and Its Applications, 369, Band 369)

hardcover
248 Seiten
Erschienen 1996
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Closure Spaces and Logic (Mathematics and Its...

Martin, N.M.

71,74 €

-29%

ASIC and FPGA Verification: A Guide to Component Modeling (Systems on Silicon)

hardcover
340 Seiten
Erschienen 2004
Morgan Kaufmann

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

ASIC and FPGA Verification: A Guide to...

Munden, Richard

36,03 € 50,59 €

-98%

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)

paperback
372 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Theorem Proving in Higher Order Logics: 12th...

Dowek, Gilles

1,11 € 57,23 €

-96%

CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900, Band 2900)

paperback
260 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

CASL User Manual: Introduction to Using the...

Mosses, Peter D.

2,51 € 57,23 €

-25%

Coding and Cryptography: Synergy for a Robust Communication

Gebunden
126 Seiten
Erschienen 2013
De Gruyter Oldenbourg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Coding and Cryptography: Synergy for a Robust...

Zivic, Natasa

93,26 € 124,95 €

An Introduction to the Uncertainty Principle: Hardy’s Theorem on Lie Groups (Progress in Mathematics, 217, Band 217)

hardcover
187 Seiten
Erschienen 2003
Birkhäuser

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

An Introduction to the Uncertainty Principle:...

Thangavelu, Sundaram

79,38 €

Completely Positive Matrices

hardcover
216 Seiten
Erschienen 2003
World Scientific Publishing...

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Completely Positive Matrices

Berman, Abraham

56,50 €

-86%

Cryptographic Protocol: Security Analysis Based on Trusted Freshness

Gebunden
388 Seiten
Erschienen 2012
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Cryptographic Protocol: Security Analysis Based...

Chen, Kefei und Dong, Ling

25,65 € 181,89 €

-26%

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)

paperback
292 Seiten
Erschienen 2009
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formal Methods in Artificial Intelligence...

Ramsay, Allan

37,32 € 50,19 €

-13%

DSP Integrated Circuits (Academic Press Series in Engineering)

hardcover
561 Seiten
Erschienen 1999
Academic Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

DSP Integrated Circuits (Academic Press Series...

Wanhammar, Lars

88,00 € 101,60 €

-27%

Introduction to Subfactors (London mathematical society, lecture note series, vol.234)

paperback
162 Seiten
Erschienen 2008
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to Subfactors (London mathematical...

Jones, V.

70,78 € 96,87 €

Connective Real K-Theory Of Finite Groups (169) (Mathematical Surveys and Monographs, Band 169)

hardcover
318 Seiten
Erschienen 2010
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Connective Real K-Theory Of Finite Groups (169)...

Bruner, Robert R.

75,91 €

-17%

Contemporary Research in Philosophical Logic and Linguistic Semantics (The Western Ontario Series in Philosophy of Science, Band 4)

paperback
346 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Contemporary Research in Philosophical Logic...

Harper, W.L.

142,33 € 171,72 €

-28%

Morse Theory for Hamiltonian Systems (Research Notes in Mathematics Series)

paperback
202 Seiten
Erschienen 2001
Chapman and Hall/CRC

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Morse Theory for Hamiltonian Systems (Research...

Jeffrey, Alan

158,70 € 219,35 €

-22%

Characters and Blocks of Finite Groups (London mathematical society, lecture note series, vol.250)

paperback
287 Seiten
Erschienen 2008
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Characters and Blocks of Finite Groups (London...

Navarro

90,09 € 114,89 €

-32%

The Langlands Classification and Irreducible Characters for Real Reductive Groups (Progress in Mathematics, 104, Band 104)

Gebunden
336 Seiten
Erschienen 1992
Birkhäuser

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Langlands Classification and Irreducible...

Adams, J. und Vogan, D. A. ...

102,56 € 149,79 €

-27%

Complex Multiplication (New Mathematical Monographs, 15, Band 15)

hardcover
376 Seiten
Erschienen 2010
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Complex Multiplication (New Mathematical...

Schertz, Reinhard

99,92 € 137,37 €

-23%

Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems

Gebunden
288 Seiten
Erschienen 2005
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Transaction-Level Modeling with SystemC: TLM...

Ghenassia, Frank

137,90 € 179,71 €

-1%

Mathematische Logik mit Informatik-Anwendungen (Heidelberger Taschenbücher) (German Edition) (Heidelberger Taschenbücher, 187, Band 187)

paperback
348 Seiten
Erschienen 1977
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematische Logik mit Informatik-Anwendungen...

Bergmann, E.

49,49 € 49,95 €

-55%

An Introduction to Compactness Results in Symplectic Field Theory

Gebunden
260 Seiten
Erschienen 2014
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

An Introduction to Compactness Results in...

Abbas, Casim

52,92 € 117,69 €

K-Theory for Real C*-Algebras and Applications (Research Notes in Mathematics Series)

paperback
176 Seiten
Erschienen 1993
Pearson Education Limited

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

K-Theory for Real C*-Algebras and Applications...

Schroder, Herbert

86,43 €

Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)

hardcover
645 Seiten
Erschienen 1993
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Iteration Theories: The Equational Logic of...

Bloom, Stephen L.

47,67 €

-58%

Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36, Band 36)

paperback
388 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Theory of Program Structures: Schemes,...

Greibach, Sheila A.

11,07 € 26,32 €

-22%

Scheduling and Automatic Parallelization

hardcover
280 Seiten
Erschienen 2000
Birkhäuser

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Scheduling and Automatic Parallelization

Darte, Alain

83,62 € 106,98 €

-17%

Wahrheit & Beweisbarkeit: Kompendium zu Gödels Werk

hardcover
448 Seiten
öbv, Firmensitz Wien

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Wahrheit & Beweisbarkeit: Kompendium zu Gödels...

Gödel, Kurt

71,00 € 85,50 €

-58%

Advanced Formal Verification

Gebunden
280 Seiten
Erschienen 2004
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Advanced Formal Verification

Drechsler, Rolf

45,32 € 106,99 €

Nonstandard Analysis for the Working Mathematician (Mathematics and Its Applications (closed))

paperback
328 Seiten
Erschienen 2000
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Nonstandard Analysis for the Working...

Loeb, Peter A.

244,01 €