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

-30%

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science, 2102, Band 2102)

paperback
536 Seiten
Erschienen 2008
Springer

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

Computer Aided Verification: 13th International...

Comon, Hubert

80,56 € 114,48 €

-23%

CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science, 3170, Band 3170)

paperback
548 Seiten
Erschienen 2008
Springer

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

CONCUR 2004 -- Concurrency Theory: 15th...

Yoshida, Nobuko

38,52 € 49,99 €

-49%

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

58,15 € 114,48 €

Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, Band 16)

hardcover
333 Seiten
Erschienen 1988
Springer

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

Computing in Horn Clause Theories (Monographs...

Padawitz, Peter

22,98 €

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

paperback
-

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

Verifying Concurrent Processes Using Temporal...

-

511,53 €

-28%

Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (Lecture Notes in Computer Science, 107, Band 107)

paperback
496 Seiten
Erschienen 2008
Springer

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

Formalization of Programming Concepts:...

Diaz, J.

39,68 € 54,86 €

-45%

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

58,89 € 106,99 €

-51%

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

34,60 € 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

4,17 €

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

21,75 €

-44%

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.

50,14 € 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

99,19 €

-40%

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.

62,91 € 105,59 €

-41%

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

33,74 € 57,23 €

Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science)

paperback
Erschienen 1992
Springer Verlag

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

Specifying Message Passing and Time-Critical...

Koymans, Ron

50,88 €

A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))

paperback
318 Seiten
Erschienen 1987
American Mathematical Society

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

A Formalization of Set Theory Without Variables...

Tarski, Alfred

54,82 €

-49%

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

58,15 € 114,48 €

Provability, Complexity, Grammars (AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS SERIES 2)

hardcover
172 Seiten
Erschienen 1999
American Mathematical Society

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

Provability, Complexity, Grammars (AMERICAN...

Beklemishev, Lev Dmitrievich

104,40 €

An Introduction to Probability and Stochastic Processes (Springer Texts in Statistics)

hardcover
205 Seiten
Erschienen 1992
Springer

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

An Introduction to Probability and Stochastic...

Berger, Marc A.

21,66 €

The Design of Well-Structured and Correct Programs (Monographs in Computer Science)

hardcover
292 Seiten
Erschienen 1978
Springer

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

The Design of Well-Structured and Correct...

Alagic, Suad

5,77 €

-39%

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

34,78 € 57,23 €

-46%

Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979 (Lecture Notes in Computer Science, 70, Band 70)

paperback
380 Seiten
Erschienen 2008
Springer

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

Semantics of Concurrent Computation:...

Kahn, G.

18,54 € 34,34 €

Fundamentals of Stability Theory (Perspectives in Mathematical Logic)

hardcover
447 Seiten
Erschienen 1988
Springer Berlin

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

Fundamentals of Stability Theory (Perspectives...

Baldwin, J. T.

146,49 €

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

30,27 €

Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship (Cambridge Tracts in Theoretical Computer Science)

hardcover
278 Seiten
Erschienen 1991
Cambridge University Press

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

Nets, Terms and Formulas: Three Views of...

Olderog, E. -R

28,01 €

-33%

Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings (Lecture Notes in Computer Science, 62, Band 62)

paperback
520 Seiten
Erschienen 2008
Springer

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

Automata, Languages and Programming: Fifth...

B??hm, C.

38,46 € 57,23 €

Synchronization and Linearity: An Algebra for Discrete Event Systems (Wiley Series in Probability & Mathematical Statistics)

hardcover
514 Seiten
Erschienen 1992
John Wiley & Sons Ltd

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

Synchronization and Linearity: An Algebra for...

etc.

380,50 €

The Foundations of Program Verification

unknown_binding
230 Seiten
Erschienen 1984
Vieweg & Teubner

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

The Foundations of Program Verification

Stansifer, Ryan D

25,65 €

Discrepancy of Signed Measures and Polynomial Approximation (Springer Monographs in Mathematics)

Gebunden
460 Seiten
Erschienen 2001
Springer

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

Discrepancy of Signed Measures and Polynomial...

Blatt, Hans-Peter und Andri...

136,31 €

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.

58,33 €

-43%

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

28,70 € 50,59 €

-100%

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

0,00 € 57,23 €

-23%

Automata Theory and Formal Languages: 2nd GI Conference, Kaiserslautern, May 20-23, 1975 (Lecture Notes in Computer Science, 33, Band 33)

paperback
304 Seiten
Erschienen 2008
Springer

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

Automata Theory and Formal Languages: 2nd GI...

Brakhage, H.

20,26 € 26,32 €

An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy)

paperback
404 Seiten
Erschienen 2013
Cambridge University Press

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

An Introduction to Godel's Theorems (Cambridge...

Smith, Peter

67,08 €

-32%

MODELS PEANO ARITH OLG 15 C (Oxford Logic Guides, Band 15)

hardcover
304 Seiten
Erschienen 1991
Oxford University Press (UK)

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

MODELS PEANO ARITH OLG 15 C (Oxford Logic...

Kaye, Richard

164,41 € 241,53 €

-45%

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

68,42 € 124,95 €

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

hardcover
257 Seiten
Erschienen 1990
Springer Verlag

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

First-Order Logic and Automated Theorem Proving...

Fitting, Melvin

65,56 €

-22%

Der Gödelsche Beweis (Scientia Nova)

Kartoniert
110 Seiten
Erschienen 2010
De Gruyter

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

Der Gödelsche Beweis (Scientia Nova)

Nagel, Ernest

31,24 € 39,95 €

Spectral Theory and Differential Operators (Cambridge Studies in Advanced Mathematics)

hardcover
182 Seiten
Erschienen 1995
Cambridge University Press

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

Spectral Theory and Differential Operators...

Davies, E. B.

77,59 €

-26%

Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings (Lecture Notes in Computer Science, 5797, Band 5797)

Kartoniert
232 Seiten
Erschienen 2009
Springer

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

Reachability Problems: Third International...

Bournez, Olivier und Potapo...

39,43 € 53,49 €