Gesamtpreis (1 Artikel Artikel):
Versandziel:
fred kröger (53 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (53)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (36)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (6)
- Gut oder Befriedigend (8)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (2)
- Angebotsfoto (20)
- Keine Print-on-Demand Angebote (40)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) 2008th Edition
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Recycle Bookstore, San Jose, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Near Fine. Book has a hint of wear to the edges and corners, otherwise in near new condition.
-
Temporal logic of programs.
Verlag: Berlin, Springer, ,, 1987
Anbieter: Antiquariat Gothow & Motzke, Berlin, Deutschland
Verkäuferbewertung 3 von 5 Sternen
VIII/148 S./pp., Originalpappband (publisher's cardboard covers), Bibliotheksexemplar in gutem Zustand / exlibrary in good condition (Einband gering gebrauchsspurig / binding shows minor tear and wear, Stempel auf Titel / title stamped, Rückenschildchen / lettering pannel to the spine, Block gut / contents clean, keine Unterstreichungen oder Anstreichungen / no underlining or remarks, nicht in Folie eingeschlagen / not wrapped up in foil), (EATCS Monographs on Theoretical Computer Science 8), Sprache: englisch.
-
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Anbieter: Bay State Book Company, North Smithfield, RI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing.
-
Temporal Logic of Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
TEMPORAL LOGIC AND STATE SYSTEMS (HB 2008)
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Temporal Logic of Programs
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
hardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE) Kroger, Fred
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 30,75
EUR 28,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Light shelfwear to extremities of book, otherwise fine.
-
Temporal Logic And State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Temporal Logic of Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Temporal Logic Of Programs
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,28
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Temporal Logic And State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 71,21
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Temporal Logic and State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Temporal Logic And State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An Eatcs Series)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,53
EUR 11,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 160 pages. 9.61x6.69x0.37 inches. In Stock.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Temporal Logic And State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,36
EUR 17,28 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,51
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Einführung in die Informatik: Algorithmenentwicklung (Springer-Lehrbuch)
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 3540533036 ISBN 13: 9783540533030
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. 332 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Deutsch Gewicht in Gramm: 536 23,4 x 15,6 x 2,4 cm, Taschenbuch.
-
Temporal Logic And State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 86,10
EUR 17,28 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Temporal Logic and State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: BennettBooksLtd, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title!
-
Temporal Logic of Programs
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642715516 ISBN 13: 9783642715518
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Introduction to the temporal logic of - in particular paral-lel - programs.Divided into three main parts: - Presenta-tion of the pure temporal logic: language, semantics, andproof theory; - Representation of programs and their proper-ties within the language of temporal logic; - Application ofthe logical apparatus to the verification of program proper-ties including a new embedding of Hoare's logic into thetemporal framework.
-
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 97,31
EUR 28,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Temporal Logic And State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540674012 ISBN 13: 9783540674016
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 125,39
EUR 14,40 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 300 pages. 9.25x6.25x1.00 inches. In Stock.
-
Temporal Logic and State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3642086802 ISBN 13: 9783642086809
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 129,10
EUR 14,40 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 436 pages. 9.00x6.00x1.01 inches. In Stock.
-
Temporal Logic and State Systems
Buch 30 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Vieweg, Springer, 2008
ISBN 10: 3540674012 ISBN 13: 9783540674016
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Temporal logic has developed over the last30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
-
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 125,79
EUR 28,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
