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

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

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.
Bestellen bei zvab
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check 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

Davies, Jim

Entdecke mehr vom Verlag

Cambridge University Press
Akzeptabel
0,00 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-98%
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.
1,14 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
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
2,11 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
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
1,87 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic, 53, Band 53)
  • hardcover
  • 404 Seiten
  • Erschienen 2020
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Well-Quasi Orders in Computation, Logic,...
Schuster
29,93 € 141,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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
5,29 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
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.
11,96 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
Misspecification Analysis: Proceedings, Groningen, The Netherlands, 1983: Proceedings of a Workshop held in Groningen, The Netherlands December 15–16, ... and Mathematical Systems, 237, Band 237)
  • paperback
  • 140 Seiten
  • Erschienen 1984
  • Springer-Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Misspecification Analysis: Proceedings,...
Dijkstra, Theo K.
47,57 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-16%
Proofs: A Long-Form Mathematics Textbook (The Long-Form Math Textbook Series)
  • paperback
  • 511 Seiten
  • Erschienen 2021
  • Independently published
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proofs: A Long-Form Mathematics Textbook (The...
Cummings, Jay
20,53 € 24,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-49%
Supersingular p-adic L-functions, Maass-Shimura Operators and Waldspurger Formulas: Ams-212 (Annals of Mathematics Studies, 212)
  • hardcover
  • 258 Seiten
  • Erschienen 2021
  • Princeton University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Supersingular p-adic L-functions, Maass-Shimura...
Kriz, Daniel J.
105,82 € 208,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
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.
20,43 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Computer Science Logic
  • Hardcover
  • 528 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science Logic
-
2,15 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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
5,27 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
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...
9,49 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-33%
Proofs from THE BOOK
  • hardcover
  • 316 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proofs from THE BOOK
Hofmann, Karl H.
32,16 € 48,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
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
10,18 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
  • paperback
  • 188 Seiten
  • Erschienen 1982
  • John Wiley & Sons Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
How to Read and Do Proofs: An Introduction to...
Solow, Daniel
11,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Theory of Duality in Mathematical Programming
  • Hardcover
  • 182 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Duality in Mathematical Programming
Walk, Manfred
2,56 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings (Lecture Notes in Computer Science, 1551, Band 1551)
  • paperback
  • 384 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Practical Aspects of Declarative Languages:...
Gupta, Gopal
1,81 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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.
5,33 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
11,64 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-62%
Post-Quantum Cryptography
  • paperback
  • 256 Seiten
  • Erschienen 2010
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Post-Quantum Cryptography
Dahmen, Erik
64,40 € 171,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Moderne Verfahren der Kryptographie: Von RSA zu Zero-Knowledge
  • paperback
  • 143 Seiten
  • Erschienen 2001
  • Vieweg Verlagsgesellschaft
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Moderne Verfahren der Kryptographie: Von RSA zu...
Wolfenstetter, Klaus-Dieter
7,25 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
7,27 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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
7,97 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
8,60 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Verification Methodology Manual: For Code Coverage in HDL Designs (HDL Designer S.)
  • hardcover
  • 128 Seiten
  • Erschienen 2000
  • Teamwork International
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Verification Methodology Manual: For Code...
Moses, Chris
23,78 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Computability and Complexity in Analysis: 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers (Lecture Notes in Computer Science, 2064, Band 2064)
  • paperback
  • 404 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computability and Complexity in Analysis: 4th...
Blanck, Jens
4,65 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Combinatory Logic
  • Hardcover
  • 358 Seiten
  • Erschienen 2011
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Combinatory Logic
Bimbó, Katalin
67,49 € 184,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science, 2755, Band 2755)
  • paperback
  • 472 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Trends in Algebraic Development...
Pattinson, Dirk
8,62 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
LOTOSphere: Software Development with LOTOS
  • hardcover
  • 510 Seiten
  • Erschienen 1995
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
LOTOSphere: Software Development with LOTOS
Vissers, Chris
35,05 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
SOFSEM 2002: Theory and Practice of Informatics
  • Hardcover
  • 304 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
SOFSEM 2002: Theory and Practice of Informatics
-
2,09 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... Notes in Computer Science, 4424, Band 4424)
  • Kartoniert
  • 736 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Grumberg, Orna und Huth, Mi...
11,52 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-0%
Invariant Theory of Finite Groups (Mathematical Surveys and Monographs, 94, Band 94)
  • paperback
  • 371 Seiten
  • Erschienen 2010
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Invariant Theory of Finite Groups (Mathematical...
Smith, Larry
101,20 € 101,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science, 1664, Band 1664)
  • paperback
  • 596 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
CONCUR'99. Concurrency Theory: 10th...
Mauw, Sjouke
3,97 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Typed Lambda Calculi and Applications
  • Hardcover
  • 448 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Typed Lambda Calculi and Applications
Abramsky, Samson
2,15 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, ... Notes in Computer Science, 2643, Band 2643)
  • paperback
  • 280 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Applied Algebra, Algebraic Algorithms and...
Fossorier, Marc
8,62 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Languages and the Theory Ofcomputation
  • paperback
  • 512 Seiten
  • Erschienen 2000
  • McGraw-Hill Education (ISE ...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Languages and the Theory...
Martin, John C.
142,28 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 2028, Band 2028)
  • paperback
  • 452 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Languages and Systems: 10th...
Sands, David
8,63 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Science and General Issues, Band 7610)
  • paperback
  • 380 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Leveraging Applications of Formal Methods,...
Steffen, Bernhard
1,88 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
Exploring Mathematics: Problem-Solving and Proof (Springer Undergraduate Mathematics Series)
  • Kartoniert
  • 320 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Exploring Mathematics: Problem-Solving and...
Grieser, Daniel
17,53 € 40,65 €
Details