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

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

-

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

681,42 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9780387112053

Verlag:

Seitenzahl:

-

Auflage:

-

Erschienen:

-

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 681,42 €

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.

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

681,42 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

1982 208 Seiten Taschenbuch Springer-Verlag,

Produktdetails

Einband:

paperback

Erschienen:

-

Sprache:

Englisch

EAN:

9780387112053

ISBN:

9780387112053

Verlag:

Gewicht:

363 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

Gut

681,42 €

Entdecke mehr zum Thema

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

paperback
Erschienen 1992
Springer Verlag

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

Specifying Message Passing and Time-Critical...

Koymans, Ron

61,33 €

-28%

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.

24,65 € 34,34 €

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

36,78 €

-42%

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

31,11 € 53,49 €

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.

239,38 €

-6%

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.

52,75 € 56,04 €

-4%

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.

52,77 € 54,86 €

-8%

CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer ... Notes in Computer Science, 2761, Band 2761)

paperback
544 Seiten
Erschienen 2003
Springer

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

CONCUR 2003 - Concurrency Theory: 14th...

Amadio, Roberto

52,77 € 57,23 €

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

111,62 €

-16%

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.

48,05 € 57,23 €

-38%

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

66,28 € 106,99 €

-43%

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

65,44 € 114,48 €

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

34,07 €

-30%

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.

120,37 € 171,72 €

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

65,33 €

Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)

hardcover
645 Seiten
Erschienen 1993
Springer

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

Iteration Theories: The Equational Logic of...

Bloom, Stephen L.

40,29 €

-17%

P-Prolog: A Parallel Logic Programming Language (World Scientific Series in Computer Science, Band 9)

paperback
152 Seiten
Erschienen 1988
Wspc

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

P-Prolog: A Parallel Logic Programming Language...

Yang, Rong

64,19 € 77,04 €

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

48,01 €

-32%

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

34,14 € 50,19 €

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

30,54 €

-35%

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

37,16 € 57,23 €

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.

46,74 €

-34%

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

37,98 € 57,23 €

Principles Concurrent Programming

paperback
192 Seiten
Erschienen 1982
Prentice Hall

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

Principles Concurrent Programming

Ben-Ari

6,91 €

-57%

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...

-

212,21 € 496,50 €

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

hardcover
257 Seiten
Erschienen 1990
Springer Verlag

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

First-Order Logic and Automated Theorem Proving...

Fitting, Melvin

84,92 €

-98%

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

1,02 € 57,23 €

-73%

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

10,55 € 39,00 €

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.

65,64 €

Foundations of Equational Logic Programming (Lecture Notes in Computer Science)

paperback
Erschienen 1990
Springer Verlag

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

Foundations of Equational Logic Programming...

Holldobler, Steffen

234,45 €

-16%

Hybrid Systems II (Lecture Notes in Computer Science, 999, Band 999)

paperback
584 Seiten
Erschienen 2008
Springer

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

Hybrid Systems II (Lecture Notes in Computer...

Nerode, Anil

48,10 € 57,23 €

Writing Testbenches: Functional Verification of HDL Models

hardcover
384 Seiten
Erschienen 2000
Kluwer Academic Publishers

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

Writing Testbenches: Functional Verification of...

Bergeron, Janick

24,47 €

-30%

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

74,96 € 106,98 €

-62%

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,13 € 26,32 €

-27%

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

119,64 € 163,36 €

-12%

ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 (Lecture Notes in Computer Science, 44, Band 44)

paperback
344 Seiten
Erschienen 2008
Springer

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

ECI Conference 1976: Proceedings of the 1st...

Samelson, K.

30,32 € 34,34 €

-43%

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

65,44 € 114,48 €

-81%

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

32,05 € 171,72 €

-23%

Mathematische Logik mit Informatik-Anwendungen (Heidelberger Taschenbücher) (German Edition) (Heidelberger Taschenbücher, 187, Band 187)

paperback
348 Seiten
Erschienen 1977
Springer

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

Mathematische Logik mit Informatik-Anwendungen...

Bergmann, E.

38,28 € 49,95 €