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

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

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)

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

71,99 €

Lieferzeit 1-3 Werktage

Springer Verlag

Kurzinformation

Sprache:

Englisch

ISBN:

9780387562834

Verlag:

Springer Verlag

Seitenzahl:

-

Auflage:

-

Erschienen:

1992-12-01

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.

Gut 71,99 €

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.

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

71,99 €

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

Entdecke mehr vom Verlag

Springer Verlag

Gut

71,99 €

Entdecke mehr zum Thema

-80%

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

52,88 € 263,40 €

-80%

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

34,06 € 171,72 €

-38%

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

33,06 € 53,49 €

-34%

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

70,44 € 106,99 €

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

36,21 €

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

10,63 €

-39%

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

69,55 € 114,48 €

-27%

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

131,57 € 179,71 €

-8%

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.

24,20 € 26,32 €

-3%

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

31,15 € 32,00 €

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

118,63 €

-71%

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

11,21 € 39,00 €

-28%

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

36,29 € 50,19 €

-39%

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

69,55 € 114,48 €

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

77,56 €

-53%

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

53,57 € 114,48 €

-49%

Spatio-Temporal Image Processing: Theory and Scientific Applications (Lecture Notes in Computer Science)

paperback
Erschienen 1993
SPRINGER NATURE

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

Spatio-Temporal Image Processing: Theory and...

Jahne, Bernd

32,61 € 64,15 €

What Is a Logical System? (STUDIES IN LOGIC AND COMPUTATION, Band 4)

hardcover
468 Seiten
Erschienen 1995
OUP Oxford

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

What Is a Logical System? (STUDIES IN LOGIC AND...

Gabbay, D. M.

60,54 €

-59%

Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36, Band 36)

paperback
388 Seiten
Erschienen 2008
Springer

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

Theory of Program Structures: Schemes,...

Greibach, Sheila A.

10,76 € 26,32 €

-22%

Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

hardcover
272 Seiten
Erschienen 1997
Wiley-Interscience

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

Logic of Mathematics: A Modern Course of...

Adamowicz, Zofia

127,15 € 163,36 €

-8%

Begriffsbasierte Integration von Systemanalysemethoden (Betriebs- und Wirtschaftsinformatik, Band 53)

perfect
464 Seiten
Erschienen 1992
Physica

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

Begriffsbasierte Integration von...

Hansen, Hans R.

50,58 € 54,99 €

-20%

Temporale Geschäftsprozessmodellierung: Diss.

paperback
264 Seiten
Erschienen 2013
Deutscher Universitats-Verlag

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

Temporale Geschäftsprozessmodellierung: Diss.

Hoheisel, Holger

51,70 € 64,99 €

-51%

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

Hardcover
534 Seiten
Erschienen 1993
OUP Oxford

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

Handbook of Logic in Artificial Intelligence...

-

242,07 € 496,50 €

-0%

Perturbation Analysis of Discrete Event Dynamic Systems (The Springer International Series in Engineering and Computer Science, 145, Band 145)

Gebunden
468 Seiten
Erschienen 1991
Springer

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

Perturbation Analysis of Discrete Event Dynamic...

Xi-Ren Cao

93,91 € 93,99 €

-24%

Contemporary Research in Philosophical Logic and Linguistic Semantics (The Western Ontario Series in Philosophy of Science, Band 4)

paperback
346 Seiten
Erschienen 2008
Springer

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

Contemporary Research in Philosophical Logic...

Harper, W.L.

130,87 € 171,72 €

-91%

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)

paperback
232 Seiten
Erschienen 2008
Springer

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

Foundations of Logic and Functional...

Levi, Giorgio

5,22 € 57,23 €

Closure Spaces and Logic (Mathematics and Its Applications, 369, Band 369)

hardcover
248 Seiten
Erschienen 1996
Springer

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

Closure Spaces and Logic (Mathematics and Its...

Martin, N.M.

69,76 €

-31%

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings (Lecture Notes in Computer Science, Band 6816)

Kartoniert
155 Seiten
Erschienen 2011
Springer

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

Functional and Constraint Logic Programming:...

Kuchen, Herbert

39,49 € 57,23 €

-23%

Fuzzy Multiple Objective Decision Making: Methods And Applications (Lecture Notes in Economics and Mathematical Systems, 404, Band 404)

paperback
500 Seiten
Erschienen 2013
Springer

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

Fuzzy Multiple Objective Decision Making:...

Lai, Young-Jou

84,03 € 109,03 €

-94%

Structured Development for Real-Time Systems, Vol. II: Essential Modeling Techniques

paperback
176 Seiten
Erschienen 2008
Pearson Technology Group

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

Structured Development for Real-Time Systems,...

Ward, P.

2,84 € 46,99 €

Fibring Logics (Oxford Logic Guides, 38, Band 38)

hardcover
492 Seiten
Erschienen 1998
OUP Oxford

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

Fibring Logics (Oxford Logic Guides, 38, Band 38)

Gabbay, Dov M.

116,00 €

-26%

Scheduling and Automatic Parallelization

hardcover
280 Seiten
Erschienen 2000
Birkhäuser

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

Scheduling and Automatic Parallelization

Darte, Alain

79,66 € 106,98 €

-97%

Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected ... Notes in Computer Science, 1471, Band 1471)

paperback
264 Seiten
Erschienen 2008
Springer

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

Logic Programming and Knowledge Representation:...

Przymusinski, Teodor C.

1,82 € 57,23 €

-76%

Finite Model Theory (Perspectives in Mathematical Logic)

hardcover
342 Seiten
Erschienen 1995
Springer

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

Finite Model Theory (Perspectives in...

Flum, Jörg

20,44 € 85,59 €

-37%

LMS: 229 Ergodicity Dimensionl Sys (London Mathematical Society Lecture Note Series)

paperback
352 Seiten
Erschienen 2008
Cambridge University Press

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

LMS: 229 Ergodicity Dimensionl Sys (London...

Prato/Zabczyk, Da

63,60 € 100,37 €

-29%

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

paperback
388 Seiten
Erschienen 2008
Springer Berlin Heidelberg

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

Formal Hardware Verification: Methods and...

Kropf, Thomas

40,36 € 57,23 €

-71%

Mathematische Logik - Kurz Gefasst: 2. Auflage

paperback
228 Seiten
Erschienen 2011
Spektrum Akademischer Verlag

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

Mathematische Logik - Kurz Gefasst: 2. Auflage

Tuschik, Hans-Peter

8,11 € 27,99 €

-25%

Coding Theory and Applications: 3rd International Colloquium, Toulon, France, November 2-4, 1988. Proceedings (Lecture Notes in Computer Science, 388, Band 388)

paperback
344 Seiten
Erschienen 2008
Springer

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

Coding Theory and Applications: 3rd...

Cohen, Gerard

42,66 € 57,23 €

Power and Timing Modeling for Performance of Integrated Circuits. Proceedings of the Workshop on Power and Timing Modeling for Performance of ... La Grande Motte, France, Oktober 1993

paperback
-

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

Power and Timing Modeling for Performance of...

-

0,00 €