Gesamtpreis (1 Artikel Artikel):
Versandziel:
kröger fred (23 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (23)
- 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 (16)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Gut oder Befriedigend (4)
- 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 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (9)
Sprache (3)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
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
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 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 (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,89
EUR 28,93 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 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,55
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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,54
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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 76,95
EUR 11,57 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: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,86
EUR 13,86 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 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 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 124,45
EUR 14,47 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 128,15
EUR 14,47 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.
-
Taschenbuch. Zustand: Neu. Temporal Logic and State Systems | Fred Kröger (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xii | Englisch | 2010 | Springer | EAN 9783642086809 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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.
-
MUSEN-ALMANACH DER DEUTSCHEN IN SPANIEN für das Jahr 1918. - Zum Besten von Kriegswohlfahrtseinrichtungen der Zentralmaechte; herausgegeben von der Deutschen Zeitung für Spanien.
Verlag: Barcelona, 1917., 1917
Anbieter: C O - L I B R I , Bremen - Berlin ; Deutschland / Germany ., Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
91 Seiten. - Gemusterter Original-Leineneinband mit Titelschild; 8vo.(ca. 21 x 14 cm). *** 1. AUFLAGE des seltenen Jahrbuches; Nr. 225 von 500 handschriftlich nummerierten Exemplaren der Gesamtauflage. - TADELLOSES EXEMPLAR.
-
Einführung in die Informatik: Algorithmenentwicklung (Springer-Lehrbuch) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,11
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Einführung in die Informatik : Algorithmenentwicklung / Fred Kröger / Springer-Lehrbuch
Sprache: Deutsch
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona : Springer, 1991
ISBN 10: 3540533036 ISBN 13: 9783540533030
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. 1. X, 318 S. ; 24 cm Ungelesenes Buch in fast neuwertigem Zustand! Minimale Lagerspuren. 9783540533030 Sprache: Deutsch Gewicht in Gramm: 540.
-
DER GEFAHR ENTRONNEN Abenteuer in fernen Ländern
Sprache: Deutsch
Verlag: Tosa Verlag, Wien
Anbieter: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Gut. Sonderausgabe. 123 Seiten Eine Sammlung von Abenteuergeschichten aus verschiedenen Teilen der Welt, die den Leser auf eine aufregende Reise in ferne Länder mitnehmen. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. HC1-664-1/8-00716601 Sprache: Deutsch Gewicht in Gramm: 616.
-
Einführung in die Informatik: Algorithmenentwicklung (Springer-Lehrbuch)
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 3540533036 ISBN 13: 9783540533030
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Gut. 332 Seiten; 9783540533030.3 Gewicht in Gramm: 1.
-
Einführung in die Informatik: Algorithmenentwicklung (Springer-Lehrbuch) (German Edition)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 99,40
EUR 11,57 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 328 pages. German language. 9.25x6.10x0.94 inches. In Stock.
-
Einführung in die Informatik : Algorithmenentwicklung
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, Springer, 1991
ISBN 10: 3540533036 ISBN 13: 9783540533030
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Buch ist eine moderne algorithmenorientierte Einf}hrungin die Informatik: Im Vordergrund stehen Konzepte, Methodenund Techniken der Algorithmenentwicklung. AlgorithmischeKonzepte und ihre Verwendung werden formal und zun{chst ohneBezugnahme auf eine konkrete Programmiersprache dargestellt.Ihre grundlegende Bedeutung wird dadurch deutlich getrenntvon einer im letzten Kapitel vorgenommenen exemplarischenRealisierung in Modula-2.
-
Taschenbuch. Zustand: Neu. Einführung in die Informatik | Algorithmenentwicklung | Fred Kröger | Taschenbuch | Springer-Lehrbuch | x | Deutsch | 1991 | Springer | EAN 9783540533030 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
