Articles liés à Temporal Logic and State Systems
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.
Acheter neuf
Afficher cet article
EUR 69,35
EUR 4,62 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisAutres é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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642086809_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642086809
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Temporal Logic and State Systems
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642086802
ISBN 13 : 9783642086809
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 5047713
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Temporal Logic and State Systems
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642086802
ISBN 13 : 9783642086809
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783642086809
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Temporal Logic and State Systems
Edité par
Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10 : 3642086802
ISBN 13 : 9783642086809
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 448 pp. Englisch. N° de réf. du vendeur 9783642086809
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Temporal Logic and State Systems
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10 : 3642086802
ISBN 13 : 9783642086809
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783642086809
Quantité disponible : 2 disponible(s)
Image d'archives
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Edité par
Springer, 2010
ISBN 10 : 3642086802
ISBN 13 : 9783642086809
Ancien ou d'occasion
Paperback
Vendeur : Book Alley, Pasadena, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur mon0000475461
Quantité disponible : 1 disponible(s)
Image d'archives
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783642086809
Quantité disponible : Plus de 20 disponibles
Image d'archives
Temporal Logic and State Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 448. N° de réf. du vendeur 2654506756
Quantité disponible : 4 disponible(s)
Image d'archives
Temporal Logic and State Systems
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 448 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 55053019
Quantité disponible : 4 disponible(s)