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

2,80 €

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

2,80 €

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
2,80 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-98%
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;
2,60 € 121,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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
5,14 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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.
3,50 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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...
-
4,16 € 33,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
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
6,45 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Distributed, Embedded and Real-time Java Systems
  • Gebunden
  • 378 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Distributed, Embedded and Real-time Java Systems
Higuera-Toledano, M. Teresa
4,98 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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
6,76 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
Complex Proofs of Real Theorems (University Lecture Series, 58, Band 58)
  • paperback
  • 90 Seiten
  • Erschienen 2012
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Complex Proofs of Real Theorems (University...
Zalcman, Lawrence
14,66 € 35,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
20,51 € 80,13 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
10,23 € 70,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Digital Signatures
  • Gebunden
  • 192 Seiten
  • Erschienen 2010
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Digital Signatures
Katz, Jonathan G.
2,16 € 112,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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
16,19 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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
2,65 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
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
1,45 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Proof Theory and Algebra in Logic (Short Textbooks in Logic)
  • paperback
  • 168 Seiten
  • Erschienen 2019
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory and Algebra in Logic (Short...
Ono, Hiroakira
18,78 € 40,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
-37%
Der Gödelsche Beweis
  • paperback
    • -
  • Erschienen 2003
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Der Gödelsche Beweis
Newman, James R.
62,54 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
Elementare Beweistheorie
  • paperback
  • 240 Seiten
  • Duden ein Imprint von Corne...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementare Beweistheorie
Heindorf, Lutz
4,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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.
2,24 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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.
8,35 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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.
6,54 € 44,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Computer Science Logic
  • Hardcover
  • 528 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science Logic
-
6,58 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)
  • hardcover
  • 388 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Hardware Verification: Methods and...
Kropf, Thomas
16,13 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-49%
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science, 1130, Band 1130)
  • Kartoniert
  • 551 Seiten
  • Erschienen 1996
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Trends in Data Type Specification: 11th...
Haveraaen, M. und Owe, O. u...
29,04 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-37%
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, ... Science and General Issues, Band 7399)
  • paperback
  • 268 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Coalgebraic Methods in Computer Science: 11th...
Schröder, Lutz
33,79 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Design And Validation Of Computer Protocols
  • paperback
  • 512 Seiten
  • Erschienen 2008
  • Pearson Technology Group
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design And Validation Of Computer Protocols
Holzmann, Gerard J.
20,30 € 105,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Digital Signal Processing (Dsp) with Python Programming
  • Hardcover
  • 304 Seiten
  • Erschienen 2017
  • ISTE Ltd and John Wiley & S...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Digital Signal Processing (Dsp) with Python...
Charbit, Maurice
10,60 € 171,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Systems of Logic
  • Taschenbuch
  • 336 Seiten
  • Erschienen 2009
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systems of Logic
Martin, Norman M.
4,03 € 57,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Elementary Induction on Abstract Structures
  • Taschenbuch
  • 242 Seiten
  • Erschienen 2008
  • Dover Pubn Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementary Induction on Abstract Structures
Moschovakis, Yiannis N
1,85 € 15,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Communication & Concurrency
  • paperback
  • 272 Seiten
  • Erschienen 1989
  • Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Communication & Concurrency
Milner, Robin
8,37 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-28%
An Introduction to Description Logic
  • paperback
  • 264 Seiten
  • Erschienen 2017
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Introduction to Description Logic
Lutz, Carsten
28,81 € 39,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
  • paperback
  • 512 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Specification and Transformation of Programs: A...
Partsch, Helmut A.
16,32 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)
  • paperback
  • 500 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Aided Verification: 15th International...
Hunt, Jr.
28,86 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-13%
Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate
  • paperback
  • 156 Seiten
  • Erschienen 2006
  • Deutscher Universitätsverlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formale Modellierung von Authentifizierungs-...
Lory, Prof. Dr. Peter
39,10 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648, Band 2648)
  • paperback
  • 256 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Checking Software: 10th International...
Various, .
26,38 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings (Theoretical Computer Science and General Issues, Band 8493)
  • paperback
  • 424 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Language, Life, Limits: 10th Conference on...
Meer, Klaus
22,26 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Axiomatische Wahrheitstheorien (Logica Nova)
  • Gebunden
  • 260 Seiten
  • Erschienen 1996
  • De Gruyter Akademie Forschung
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Axiomatische Wahrheitstheorien (Logica Nova)
Halbach, Volker
26,14 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-44%
Formal Description Techniques, IV (Ifip Transactions C : Communication Systems, Technical Committee 6)
  • paperback
  • 596 Seiten
  • Erschienen 1992
  • North Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Description Techniques, IV (Ifip...
Rose, G. A.
40,37 € 72,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
-15%
Foundations of Constructive Analysis
  • paperback
  • 402 Seiten
  • Erschienen 2012
  • Ishi Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Constructive Analysis
Beeson, Michael
24,86 € 29,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... Notes in Computer Science, 2280, Band 2280)
  • paperback
  • 500 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Katoen, Joost-Pieter
26,32 € 57,23 €
Details