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

Klimaneutrales Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

Cambridge University Press

Specification and Proof in Real Time CSP

Name: Specification and Proof in Real Time CSP
Author: Davies, Jim

Davies, Jim

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

6,82 €

Lieferzeit 1-3 Werktage

Cambridge University Press

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 CO₂

Mehr Informationen zum Zustand

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.

Akzeptabel 6,82 €

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

bestellen

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

6,82 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

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

6,82 €

Entdecke mehr zum Thema

-95%

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;

6,35 € 121,50 €

-85%

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.

8,53 € 57,23 €

-94%

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

15,73 € 242,50 €

-87%

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

14,39 € 106,99 €

-95%

Gebunden
192 Seiten
Erschienen 2010
Springer

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

Digital Signatures

Katz, Jonathan G.

5,28 € 112,50 €

-86%

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

6,46 € 44,99 €

-54%

The Four-Color Theorem: History, Topological Foundations, and Idea of Proof

hardcover
260 Seiten
Erschienen 1998
Springer

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

The Four-Color Theorem: History, Topological...

Peschke, J.lie

39,32 € 85,55 €

-95%

Hardcover
176 Seiten
Erschienen 1980
De Gruyter Mouton

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

Tense and Tense Logic

Clifford, John E.

5,47 € 109,95 €

-97%

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

2,93 € 85,59 €

Gebunden
326 Seiten
Erschienen 2018
Springer

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

Proofs from THE BOOK

Aigner, Martin und Ziegler,...

66,07 €

-87%

Hardcover
614 Seiten
Erschienen 2010
Cambridge University Press

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

Modeling in Event-B

Abrial, Jean-Raymond

19,34 € 146,70 €

-87%

Hardcover
420 Seiten
Erschienen 1999
Springer

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

The Theory of Classical Valuations

Ribenboim, Paulo

13,77 € 106,99 €

-96%

Real-time Embedded Components and Systems

Hardcover
400 Seiten
Erschienen 2006
Cengage Learning EMEA

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

Real-time Embedded Components and Systems

Siewert, Sam

2,00 € 46,45 €

-87%

Hardcover
284 Seiten
Erschienen 2010
Mouton de Gruyter

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

The Expression of Time

Klein, Wolfgang

4,00 € 29,95 €

-52%

Mathematical Proofs: Pearson New International Edition: A Transition to Advanced Mathematics

Taschenbuch
424 Seiten
Erschienen 2013
Pearson

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

Mathematical Proofs: Pearson New International...

Chartrand, Gary;Polimeni, A...

39,22 € 81,50 €

-98%

Kartoniert
219 Seiten
Erschienen 1983
Cambridge University Press

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

Pragmatics

Hattaway, Michael

2,00 € 80,00 €

-98%

408 Seiten
Erschienen 2008
Wiley & Sons

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

The Foundations of Mathematics

Sibley, Thomas Q.

4,88 € 250,50 €

Logik, Mengen, Relationen: Praxis des mathematischen Beweisens

perfect
191 Seiten
Erschienen 1976
Vieweg & Teubner

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

Logik, Mengen, Relationen: Praxis des...

Sorger, Peter

2,59 €

-93%

Guide to Computing Fundamentals in Cyber-Physical Systems

Gebunden
Erschienen 2016
Springer

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

Guide to Computing Fundamentals in...

Möller, Dietmar P. F.

7,31 € 106,99 €

-93%

CCSP Certified Cloud Security Professional All-in-One Exam Guide, Second Edition

Kartoniert
432 Seiten
Erschienen 2020
McGraw-Hill Education

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

CCSP Certified Cloud Security Professional...

Carter, Daniel

3,56 € 54,41 €

-71%

Hardcover
Erschienen 2010
Springer

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

Quantum Signatures of Chaos

Haake, Fritz

44,11 € 149,99 €

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

The Topology of Chaos: Alice in Stretch and...

11,48 €

-87%

Java and the Java Virtual Machine: Definition, Verification, Validation

Gebunden
381 Seiten
Erschienen 2001
Springer

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

Java and the Java Virtual Machine: Definition,...

Stärk, Robert F. und Schmid...

10,84 € 85,55 €

-97%

Role of Edge Analytics in Sustainable Smart City Development: Challenges and Solutions

Hardcover
352 Seiten
Erschienen 2020
Wiley-Scrivener

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

Role of Edge Analytics in Sustainable Smart...

Kanagachidambaresan, G. R.

6,80 € 238,50 €

-91%

Hardcover
260 Seiten
Erschienen 1999
Palgrave Macmillan

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

Interpretation as Pragmatics

Lecercle, J.

9,65 € 106,99 €

-85%

Hardcover
376 Seiten
Erschienen 1997
World Scientific

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

DRINFELD MODULES, MODULAR SCHEMES ...

J van Geel, E U Gekeler M R...

21,14 € 141,10 €

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.

1.062,93 €

-53%

SPS Theorie und Praxis: mit Übungsaufgaben und Programmier- und Simulationssoftware

unknown_binding
156 Seiten
Erschienen 2010
Europa-Lehrmittel

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

SPS Theorie und Praxis: mit Übungsaufgaben und...

Tapken, Herbert

11,22 € 24,00 €

-91%

Hardcover
544 Seiten
Erschienen 2023
Sybex Inc.,U.S.

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

Quantum Computing in Cybersecurity

22,99 € 250,50 €

-79%

Taschenbuch
528 Seiten
Erschienen 2014
Oxford University Press, USA

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

Constructing the World

Chalmers, David J.

9,21 € 44,50 €

-95%

Hardcover
128 Seiten
Erschienen 1996
World Scientific Publishing...

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

Entropic Spacetime Theory

Armel, Jack

2,11 € 43,50 €

Entwurf komplexer Echtzeitsysteme: State of the Art (Angewandte Informatik)

hardcover
364 Seiten
Duden ein Imprint von Corne...

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

Entwurf komplexer Echtzeitsysteme: State of the...

Balzert, Helmut

1,33 €

-89%

Harmonic Analysis in Hypercomplex Systems

Hardcover
500 Seiten
Erschienen 1998
Springer

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

Harmonic Analysis in Hypercomplex Systems

Kalyuzhnyi, A. A.;Berezansk...

11,83 € 106,99 €

-87%

Philosophy and Temporality from Kant to Critical Theory

Hardcover
272 Seiten
Erschienen 2013
Cambridge University Press

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

Philosophy and Temporality from Kant to...

Hammer, Espen

5,95 € 45,10 €

-76%

Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings (Theoretical Computer Science and General Issues, Band 11077)

Kartoniert
375 Seiten
Erschienen 2018
Springer

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

Computer Algebra in Scientific Computing: 20th...

Gerdt, Vladimir P. und Koep...

16,46 € 69,54 €

-95%

Blockchain for Distributed Systems Security

Hardcover
352 Seiten
Erschienen 2019
Wiley-IEEE Computer Society Pr

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

Blockchain for Distributed Systems Security

6,04 € 128,50 €

-93%

The Accredited Counter Fraud Specialist Handbook

Kartoniert
304 Seiten
Erschienen 2015
Wiley

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

The Accredited Counter Fraud Specialist Handbook

Tunley, Martin und Whittake...

5,51 € 75,00 €

-87%

Hardcover
318 Seiten
Erschienen 1997
Practical Action Publishing

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

Whose Reality Counts?

Chambers, Robert

3,96 € 30,80 €

-89%

Transformation of Measure on Wiener Space

Hardcover
318 Seiten
Erschienen 1999
Springer

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

Transformation of Measure on Wiener Space

Zakai, Moshe;Üstünel, A. Sü...

5,65 € 53,49 €