Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Temporal Logic And State Systems
Image d'archives
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Edité par
Springer (edition 2008), 2008
ISBN 10 : 3540674012
ISBN 13 : 9783540674016
Ancien ou d'occasion
Couverture rigide
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. 2008. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. N° de réf. du vendeur 3540674012-11-1
Acheter D'occasion
EUR 34,98
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Edité par
Springer, 2008
ISBN 10 : 3540674012
ISBN 13 : 9783540674016
Ancien ou d'occasion
Couverture rigide
Vendeur : Goodwill of Colorado, COLORADO SPRINGS, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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! N° de réf. du vendeur 466WQ1000T6G
Acheter D'occasion
EUR 36,31
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) 2008th Edition
Edité par
Springer, 2008
ISBN 10 : 3540674012
ISBN 13 : 9783540674016
Ancien ou d'occasion
Couverture rigide
Vendeur : Recycle Bookstore, San Jose, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Near Fine. Book has a hint of wear to the edges and corners, otherwise in near new condition. N° de réf. du vendeur 976837
Acheter D'occasion
EUR 39,71
Frais de port :
EUR 4,98
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Foundations of Digital Signal Processing: Theory, algorithms and hardware design (Materials, Circuits and Devices).
Edité par
The Institution of Engineering and Technology., 2004
ISBN 10 : 3540674012
ISBN 13 : 9783540674016
Ancien ou d'occasion
Couverture rigide
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 6325VB
Acheter D'occasion
EUR 15
Frais de port :
EUR 30
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Temporal Logic And State Systems
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur ABNR-92093
Acheter neuf
EUR 58,37
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Temporal Logic And State Systems
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-242354
Acheter neuf
EUR 58,37
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Edition internationale
Temporal Logic And State Systems (Hb)
Edition internationaleVendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur CBS 9783540674016
Acheter neuf
EUR 54,10
Frais de port :
EUR 4,54
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Temporal Logic And State Systems
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNT3-92093
Acheter neuf
EUR 60,77
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783540674016
Acheter neuf
EUR 75,57
Frais de port :
EUR 7,78
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Temporal Logic And State Systems
Edité par
Springer, 2008
ISBN 10 : 3540674012
ISBN 13 : 9783540674016
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 3203656
Acheter D'occasion
EUR 84,95
Frais de port :
EUR 2,29
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles