LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Cambridge University Press
Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

Davies, Jim

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

10,77 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9780521450553
Verlag:
Cambridge University Press
Seitenzahl:
200 Seiten
Auflage:
-
Erschienen:
1993-05-20
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand Green Tree

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.
  • Starke Gebrauchsspuren, Seiten und Bindung beschädigt
  • Knicke oder Markierungen nicht mehr als 20%
  • CDs und Zugangscodes können fehlen
  • Auflage kann abweichen
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 bei lehmanns bestellen
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

10,77 €

Lieferzeit 1-3 Werktage

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

Davies, Jim

Entdecke mehr vom Verlag

Cambridge University Press
Akzeptabel
10,77 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-98%
Principles of the Spin Model Checker
  • Hardcover
  • 220 Seiten
  • Erschienen 2008
  • Springer London Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Principles of the Spin Model Checker
Ben-Ari, Mordechai
1,51 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Digital Signatures
  • Hardcover
  • 192 Seiten
  • Erschienen 2010
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Digital Signatures
Katz, Jonathan
8,33 € 129,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
Distributed, Embedded and Real-time Java Systems
  • Hardcover
  • 388 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Distributed, Embedded and Real-time Java Systems
-
22,72 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Positive Polynomials. From Hilbert's 17th Problem to Real Algebra
  • Hardcover
  • 245 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Positive Polynomials. From Hilbert's 17th...
Prestel, Alexander;Delzell,...
10,86 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Adaptive Logics for Defeasible Reasoning
  • Hardcover
  • 456 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Adaptive Logics for Defeasible Reasoning
Straßer, Christian
21,52 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic IV
  • Hardcover
  • 344 Seiten
  • Erschienen 2008
  • SPRINGER NATURE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Towards Mathematical Philosophy: Papers from...
Makinson
3,31 € 149,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Concurrency
  • Hardcover
  • 432 Seiten
  • Erschienen 2006
  • John Wiley & Sons Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Concurrency
Magee, Jeff;Kramer, Jeff;
15,51 € 61,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Computational Complexity
  • Hardcover
    • -
  • Erschienen 2009
  • Cambridge University Pr.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computational Complexity
Arora, Sanjeev;Barak, Boaz;
31,44 € 63,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Real Time Programming: Languages, Specification and Verification
  • Hardcover
  • 264 Seiten
  • World Scientific Publishing...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Real Time Programming: Languages, Specification...
Ramesh, S.;Shyamasundar, R K;
10,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
Tense and Tense Logic
  • Hardcover
  • 176 Seiten
  • Erschienen 1980
  • De Gruyter Mouton
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tense and Tense Logic
Clifford, John E.
8,63 €
Details
frontend/listing/product-box/box-product-slider.tpl
Qualitative Spatial and Temporal Reasoning
  • Hardcover
  • 544 Seiten
  • Erschienen 2011
  • Wiley-ISTE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Qualitative Spatial and Temporal Reasoning
Ligozat, Gérard
24,83 €
Details
frontend/listing/product-box/box-product-slider.tpl
Theorems, Corollaries, Lemmas, and Methods of Proof
  • Hardcover
  • 336 Seiten
  • Erschienen 2006
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theorems, Corollaries, Lemmas, and Methods of...
Rossi, Richard J
13,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
Real-Time Systems: Design Principles for Distributed Embedded Applications (The Springer International Series in Engineering and Computer Science, 395)
  • paperback
  • 352 Seiten
  • Erschienen 1997
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Real-Time Systems: Design Principles for...
Kopetz, Hermann
4,63 €
Details
frontend/listing/product-box/box-product-slider.tpl
Transductions and Context-Free Languages
  • Hardcover
  • 284 Seiten
  • Erschienen 1979
  • Teubner
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Transductions and Context-Free Languages
Berstel, Jean
10,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
  • paperback
  • 224 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Verifying Concurrent Processes Using Temporal...
Hailpern, B. T.
13,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
  • paperback
  • 240 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Isabelle/HOL: A Proof Assistant for...
Wenzel, Markus
33,52 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory and Intuitionistic Systems
  • Hardcover
  • 300 Seiten
  • Erschienen 1971
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory and Intuitionistic Systems
Scarpellini, Bruno
19,78 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory: The First Step into Impredicativity (Universitext)
  • paperback
  • 388 Seiten
  • Erschienen 2010
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory: The First Step into...
Pohlers, Wolfram
79,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory
  • Hardcover
  • 228 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory
Pohlers, Wolfram
44,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
Basic Proof Theory
  • Hardcover
  • 432 Seiten
  • Erschienen 2002
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Basic Proof Theory
Troelstra, Anne S.;Troelstr...
31,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
Extensional Gödel Functional Interpretation
  • Hardcover
  • 172 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Extensional Gödel Functional Interpretation
Luckhardt, Horst
5,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proofs, Categories and Computations. Essays in Honor of Grigori Mints
  • Hardcover
  • 322 Seiten
  • Erschienen 2010
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proofs, Categories and Computations. Essays in...
-
16,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
Natural Deduction: A Proof-theoretical Study (Dover Books on Mathematics)
  • paperback
  • 113 Seiten
  • Erschienen 2006
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Natural Deduction: A Proof-theoretical Study...
Prawitz, Dag
6,43 €
Details
frontend/listing/product-box/box-product-slider.tpl
Theory of Recursive Functions and Effective Computability
  • Hardcover
  • 506 Seiten
  • Erschienen 1987
  • MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Recursive Functions and Effective...
Rogers, Hartley
21,73 €
Details
frontend/listing/product-box/box-product-slider.tpl
Computer Science Logic
  • Hardcover
  • 528 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science Logic
-
25,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory in Computer Science
  • Hardcover
  • 256 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory in Computer Science
-
25,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  • Hardcover
  • 504 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Metamathematical Investigation of...
Troelstra, Anne S.
32,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof and Knowledge in Mathematics
  • paperback
  • 268 Seiten
  • Erschienen 2014
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof and Knowledge in Mathematics
Detlefsen, Michael
39,39 €
Details
frontend/listing/product-box/box-product-slider.tpl
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • Hardcover
  • 392 Seiten
  • Erschienen 1981
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Iterated Inductive Definitions and Subsystems...
Buchholz, W.;Sieg, W.;Pohle...
17,73 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Structure of the Clause
  • Hardcover
  • 532 Seiten
  • Erschienen 1997
  • Mouton de Gruyter
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Structure of the Clause
Dik, Simon C.
33,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
Ockham's Theory of Terms: Part I of the Summa Logicae
  • paperback
  • 221 Seiten
  • Erschienen 2011
  • ST AUGUSTINES PR INC
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Ockham's Theory of Terms: Part I of the Summa...
Loux, Michael J.
33,77 €
Details