LeafNachhaltiges Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer Verlag
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science)

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

Koymans, Ron

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

53,95 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9780387562834
Verlag:
Springer Verlag
Seitenzahl:
-
Auflage:
-
Erschienen:
1992-12-01
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.
  • Sauberer Zustand, Seiten und Bindung etwas abgenutzt
  • Knicke oder Markierungen nicht mehr als 5%
  • CDs und Zugangscodes verwendbar
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.
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

53,95 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

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

1992 22,9 x 15,2 x 1,3 cm, Taschenbuch Springer-Verlag,

Produktdetails

Einband:
paperback
Erschienen:
1992-12-01
Sprache:
Englisch
EAN:
9780387562834
ISBN:
9780387562834
Verlag:
Springer Verlag
Gewicht:
249 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Koymans, Ron

Entdecke mehr vom Verlag

Springer Verlag
Gut
53,95 €
Entdecke mehr zum Thema
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...
-
582,92 €
Details
-8%
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
45,93 € 49,99 €
Details
-40%
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.
20,62 € 34,34 €
Details
-82%
Time-Triggered Communication (Embedded Systems)
  • hardcover
  • 576 Seiten
  • Erschienen 2011
  • CRC Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Time-Triggered Communication (Embedded Systems)
Obermaisser, Roman
46,88 € 263,40 €
Details
-16%
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
96,05 € 114,48 €
Details
-82%
Advances in Time-Delay Systems (Lecture Notes in Computational Science and Engineering, 38, Band 38)
  • Kartoniert
  • 468 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advances in Time-Delay Systems (Lecture Notes...
Gu, Keqin
30,20 € 171,72 €
Details
-77%
Time-Like Graphical Models (Memoirs of the American Mathematical Society, September 2019, Number 1262, Band 261)
  • paperback
  • 170 Seiten
  • Erschienen 2019
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Time-Like Graphical Models (Memoirs of the...
Tadic, Tvrtko
19,77 € 86,67 €
Details
-45%
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings (Lecture Notes in Computer Science, Band 469)
  • paperback
  • 468 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Semantics of Systems of Concurrent Processes:...
Guessarian, Irene
29,31 € 53,49 €
Details
-13%
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)
  • paperback
  • 184 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computational Aspects of an Order-Sorted Logic...
Schmidt-Schau??, Manfred
34,96 € 40,06 €
Details
-42%
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
62,45 € 106,99 €
Details
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
32,10 €
Details
-20%
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.
44,14 € 54,86 €
Details
-29%
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.
40,78 € 57,23 €
Details
Temporal Databases: Theory, Design, and Implementation (Benjamin/Cummings Series on Database Systems and Applications)
  • hardcover
  • 656 Seiten
  • Erschienen 1993
  • Addison Wesley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Temporal Databases: Theory, Design, and...
Tansel, Abdullah Uz
8,07 €
Details
Minimum Impatience Theorems for Recursive Economic Models (Lecture Notes in Economics and Mathematical Systems)
  • paperback
  • 172 Seiten
  • Erschienen 1992
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Minimum Impatience Theorems for Recursive...
Sorger, Gerhard
21,97 €
Details
-46%
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
61,66 € 114,48 €
Details
-8%
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.
24,15 € 26,32 €
Details
-35%
Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems
  • Gebunden
  • 288 Seiten
  • Erschienen 2005
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Transaction-Level Modeling with SystemC: TLM...
Ghenassia, Frank
116,64 € 179,71 €
Details
Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (Workshops in Computing)
  • paperback
    • -
  • Erschienen 1990
  • Springer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Semantics for Concurrency: Proceedings of the...
Kwiatkowska, M. Z.
202,91 €
Details
-28%
Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979 (Lecture Notes in Computer Science, 79, Band 79)
  • paperback
  • 280 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Language Design and Programming Methodology:...
Tobias, J. M.
19,03 € 26,32 €
Details
-21%
PARLE '91. Parallel Architectures and Languages Europe: Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science, 506, Band 506)
  • paperback
  • 512 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
PARLE '91. Parallel Architectures and Languages...
Aarts, Emile H.L.
44,13 € 56,04 €
Details
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.
438,62 €
Details
-17%
Distributed Real-Time Systems: Theory and Practice (Computer Communications and Networks)
  • hardcover
  • 359 Seiten
  • Erschienen 2019
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Distributed Real-Time Systems: Theory and...
Erciyes, K.
60,24 € 72,99 €
Details
-14%
Algebraic Approach to Tense Operators (Research and Exposition in Mathematics: (Formerly: Research and Education in Mathematics))
  • paperback
  • 206 Seiten
  • Erschienen 2016
  • Heldermann, N
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algebraic Approach to Tense Operators (Research...
Paseka, Jan
27,62 € 32,00 €
Details
Binary Time Series (Lecture Notes in Pure and Applied Mathematics, Band 52)
  • paperback
  • 160 Seiten
  • Erschienen 1980
  • Marcel Dekker Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Binary Time Series (Lecture Notes in Pure and...
Kedem, Benjamin
46,49 €
Details
-20%
High Performance Computing - HiPC 2002: 9th International Conference Bangalore, India, December 18-21, 2002, Proceedings (Lecture Notes in Computer Science, 2552, Band 2552)
  • paperback
  • 720 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
High Performance Computing - HiPC 2002: 9th...
Prasanna, Viktor K.
91,81 € 114,48 €
Details
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
105,17 €
Details
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
25,55 €
Details
-75%
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Csli Lecture Notes)
  • paperback
  • 336 Seiten
  • Erschienen 1993
  • CTR FOR STUDY OF LANG & INFO
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Language of First-Order Logic, Including...
Etchemendy, John
9,94 € 39,00 €
Details
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
  • paperback
  • 154 Seiten
  • Erschienen 1988
  • FT Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automated Theorem-proving in Non-classical...
McRobbie, Michael A.
39,10 €
Details
The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)
  • hardcover
  • 472 Seiten
  • Erschienen 1999
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Logic Programming Paradigm: A 25-Year...
Truszczynski, Mirek
40,16 €
Details
-36%
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)
  • paperback
  • 292 Seiten
  • Erschienen 2009
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods in Artificial Intelligence...
Ramsay, Allan
32,17 € 50,19 €
Details
-46%
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
61,66 € 114,48 €
Details
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
58,13 €
Details
Stacs 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19-21, 1987 Proceedings (Lecture Notes in Computer Science)
  • paperback
    • -
  • Erschienen 1987
  • Springer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Stacs 87: 4th Annual Symposium on Theoretical...
Brandenburg, Franz J.
141,06 €
Details
Information Theory for Systems Engineers (Ökonometrie und Unternehmensforschung / Econometrics and operations research, XVII)
  • hardcover
  • 216 Seiten
  • Erschienen 1970
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Information Theory for Systems Engineers...
Lassi P. Hyvärinen
13,70 €
Details
-59%
Time Continuity in Discrete Time Models: New Approaches for Production Planning in Process Industries (Lecture Notes in Economics and Mathematical Systems, 552, Band 552)
  • paperback
  • 252 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Time Continuity in Discrete Time Models: New...
Suerie, Christopher
47,49 € 114,48 €
Details
Semantics of Data Types (Lecture Notes in Computer Science)
  • paperback
    • -
  • Erschienen 1984
  • Springer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Semantics of Data Types (Lecture Notes in...
Kahn
62,54 €
Details
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
30,77 €
Details