Fred Kröger (45 results)
Published by Berlin, Springer, ,, 1987
- Hardcover
Seller: Antiquariat Gothow & Motzke, Berlin, GermanyAntiquariat Gothow & Motzke
Contact seller3-star sellerCondition: Used
£ 20.70
£ 8.33 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketVIII/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. …
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 47.05
Free ShippingShips within U.S.A.Quantity: 5 available
Condition: 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.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
£ 48.70
Free ShippingShips within U.S.A.Quantity: 5 available
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 48.76
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
£ 46.68
£ 2.80 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: 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.
- Hardcover
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers
Contact seller4-star sellerCondition: Used - Very good
£ 25.91
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Light shelfwear to extremities of book, otherwise fine.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 53.08
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 60.84
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.95
£ 9.37 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Good
£ 63.67
£ 8.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Very good
£ 63.68
£ 8.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 74.45
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 74.85
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 64.79
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 160 pages. 9.61x6.69x0.37 inches. In Stock.
Language: English
Published by Springer, 2010
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 66.10
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 79.31
£ 2.24 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 72.87
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 55.96
£ 29.31 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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.…
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 72.86
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 72.56
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 93.27
£ 5.20 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
Language: English
Published by Springer, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 82.49
£ 29.31 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: 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. …
Language: English
Published by Springer-Verlag New York Inc, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 104.79
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 1st edition. 300 pages. 9.25x6.25x1.00 inches. In Stock.
More imagesLanguage: English
Published by Springer, 2010
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 62.85
£ 58.63 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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.…
Language: English
Published by Springer Berlin Heidelberg, 2008
Series: Book 30 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 107.90
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 436 pages. 9.00x6.00x1.01 inches. In Stock.
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.
Deutsche Zeitung in Spanien (Hrsg.) / Käte Ballvé; Herbert vom Dün; Fred Fleck; Paul Jobst Haslinde; Arnold Hellmann; J. C: H. (ein 70-jähriger); A. Kehrwieder; Betty Kolb; Alfred Kröger; Dr. Mally de Peretti della Rocca; Karl Rehder; Fridel Rüggeberg; Habs-Conon von Schächer; Alfred Sommer; Ludwig Stahl; Ambros Stauder; Urabus; Margit Weber; Hans Welf; Walter Zinck (Gedichte) / THESING (Buchschmuck):
Published by Barcelona, 1917., 1917
- Hardcover
Seller: C O - L I B R I , Bremen - Berlin ; Deutschland / Germany ., Berlin, GermanyC O - L I B R I , Bremen - Berlin ; Deutschland / Germany .
Contact seller5-star sellerCondition: Used
£ 24.15
£ 37.69 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basket91 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.
Language: German
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona : Springer, 1991
- Softcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
£ 24.93
£ 35.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. 1. X, 318 S. ; 24 cm Ungelesenes Buch in fast neuwertigem Zustand! Minimale Lagerspuren. 9783540533030 Sprache: Deutsch Gewicht in Gramm: 540.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 53.69
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 43.09
£ 29.31 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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.…
More imagesLanguage: German
Published by Tosa Verlag, Wien
- Hardcover
Seller: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, GermanyButterfly Books GmbH & Co. KG
Contact seller5-star sellerCondition: Used - Fine
£ 21.57
£ 50.25 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Sehr 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. …
