Anbieter: BooksRun, Philadelphia, PA, USA
EUR 38,41
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. 2008. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Anbieter: Goodwill of Colorado, COLORADO SPRINGS, CO, USA
EUR 39,77
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: acceptable. This item is in overall acceptable condition. Covers and dust jackets are intact but may have heavy wear including creases, bends, edge wear, curled corners or minor tears as well as stickers or sticker-residue. Pages are intact but may have minor curls, bends or moderate to considerable highlighting writing. Binding is intact; however, spine may have heavy wear. Digital codes may not be included and have not been tested to be redeemable and or active. A well-read copy overall. Please note that all items are donated goods and are in used condition. Orders shipped Monday through Friday! Your purchase helps put people to work and learn life skills to reach their full potential. Orders shipped Monday through Friday. Your purchase helps put people to work and learn life skills to reach their full potential. Thank you!
Anbieter: Recycle Bookstore, San Jose, CA, USA
EUR 39,21
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Near Fine. Book has a hint of wear to the edges and corners, otherwise in near new condition.
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
EUR 46,75
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: Brand New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
EUR 54,62
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
EUR 54,62
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
EUR 56,39
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Anbieter: ALLBOOKS1, Direk, SA, Australien
EUR 60,21
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorb
Anbieter: Book Alley, Pasadena, CA, USA
EUR 59,59
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Minor shelf wear to the covers, otherwise clean and tight and appears to be unread. Pasadena's finest new and used bookstore since 1992.
EUR 79,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Best Price, Torrance, CA, USA
EUR 74,61
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 69,15
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Best Price, Torrance, CA, USA
EUR 78,98
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 68,26
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
EUR 85,89
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 84,77
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: California Books, Miami, FL, USA
EUR 90,75
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 79,02
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 79,01
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 86,09
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: California Books, Miami, FL, USA
EUR 103,96
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: BennettBooksLtd, North Las Vegas, NV, USA
EUR 106,67
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: New. In shrink wrap. Looks like an interesting title!
EUR 113,44
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 448.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2008, 2008
ISBN 10: 3540674012 ISBN 13: 9783540674016
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 80,24
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -Temporal logic has developed over the last 30 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10: 3642086802 ISBN 13: 9783642086809
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 80,24
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -Temporal logic has developed over the last 30 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642086802 ISBN 13: 9783642086809
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 80,24
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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.
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540674012 ISBN 13: 9783540674016
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 80,24
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbBuch. 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.
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540674012 ISBN 13: 9783540674016
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 123,32
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 300 pages. 9.25x6.25x1.00 inches. In Stock.
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3642086802 ISBN 13: 9783642086809
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 126,97
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 436 pages. 9.00x6.00x1.01 inches. In Stock.
Verlag: Springer, 2008
Anbieter: Books in my Basket, New Delhi, Indien
EUR 66,32
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: New. ISBN:9783540674016.