Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Kröger, Fred; Merz, Stephan
ISBN 10: 3540674012 ISBN 13: 9783540674016
Verlag: Springer, 2008
Neu
Hardcover
Verkäufer
Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 30. August 2024
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783540674016
Inhaltsangabe:
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.
Críticas:
From the reviews:
"In the book under review, significant new materials and approaches are included, in particular, branching time logics, expressiveness issues of temporal logic, aspects related to Lamport’s Temporal Logic of Actions (TLA), and model checking methods. ... The book is well written and almost self-contained. It can be useful as an introduction and reference for scientists and practicing software engineers who want to familiarize themselves with the field. The book can be used for courses at the advanced undergraduate and the graduate levels.” (Regimantas Pliuškevicius, Mathematical Reviews, Issue 2009 m)
“The book consists of 11 chapters, followed by a list of temporal logic laws and axiomatic systems, a bibliography with 161 references, and a subject index. Each chapter ends with brief bibliographic notes. ... This is a rich in content book, with many important topics and examples treated in much technical depth. ... a rich, useful, and valuable text, that can be recommended as a research reference, graduate course textbook, or a source for self-study on temporal logic in computer science.” (Valentin Goranko, Studia Logica, Vol. 94, 2010)
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Temporal Logic and State Systems (Texts in ...
Verlag: Springer
Erscheinungsdatum: 2008
Einband: Hardcover
Zustand: New
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Foundations of Digital Signal Processing: Theory, algorithms and hardware design (Materials, Circuits and Devices).
Verlag:
The Institution of Engineering and Technology., 2004
ISBN 10: 3540674012
ISBN 13: 9783540674016
Gebraucht
Hardcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
2008th ed. 16 x 23 cm. 484 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Bestandsnummer des Verkäufers 6325VB
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Verlag:
Springer (edition 2008), 2008
ISBN 10: 3540674012
ISBN 13: 9783540674016
Gebraucht
Hardcover
Anbieter: BooksRun, Philadelphia, PA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. 2008. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Bestandsnummer des Verkäufers 3540674012-11-1
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) 2008th Edition
Anbieter: 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. Bestandsnummer des Verkäufers 976837
Anzahl: 1 verfügbar
Foto des Verkäufers
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Anbieter: Goodwill of Colorado, COLORADO SPRINGS, CO, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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! Bestandsnummer des Verkäufers 466WQ1000T6G
Anzahl: 1 verfügbar
Internationale Ausgabe
Temporal Logic And State Systems (Hb)
Internationale AusgabeAnbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers CBS 9783540674016
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Temporal Logic And State Systems
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. Bestandsnummer des Verkäufers ABNR-92093
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Temporal Logic And State Systems
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-268781
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Temporal Logic And State Systems
Anbieter: SMASS Sellers, IRVING, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Bestandsnummer des Verkäufers ASNT3-92093
Anzahl: 1 verfügbar
Foto des Verkäufers
Temporal Logic and State Systems
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory.Thorough, uniform, state-of-the-art description of theory and application o. Bestandsnummer des Verkäufers 4898191
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Temporal Logic And State Systems
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 3203656-n
Anzahl: Mehr als 20 verfügbar