Articles liés à Extending Temporal Logic with Omega-automata: The Automata...

Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking - Couverture souple

Piterman, Nir

 
9783838322063: Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
Couverture souple
ISBN 10 : 3838322061 ISBN 13 : 9783838322063
Editeur : LAP Lambert Academic Publishing, 2010
Afficher les exemplaires de cette édition ISBN
 
 
Présentation de l'éditeur :
This book surveys the automata theoretic techniques that are required for model checking and satisfiability of expressive extensions of LTL that are used in specification of hardware designs. The motivation for studying these issues was the work done in Intel on a specification language for hardware model checking that extends LTL, later to be named ForSpec. While ForSpec does not include automata as temporal connectives, the backend tool, that handles the translation of ForSpec does. This led to the renewed study of automata connectives, and how to best handle them with alternating automata.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter neuf

En savoir plus sur cette édition
9783838322063: Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
EUR 48,34

Autre devise

Frais de port : EUR 3,69
Vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Piterman, Nir
ISBN 10 : 3838322061 ISBN 13 : 9783838322063
Neuf Couverture souple Quantité disponible : > 20
Vendeur :
Lucky's Textbooks
(Dallas, TX, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. N° de réf. du vendeur ABLIING23Apr0316110081143

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 48,34
Autre devise

Ajouter au panier

Frais de port : EUR 3,69
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Nir Piterman
ISBN 10 : 3838322061 ISBN 13 : 9783838322063
Neuf Couverture souple Quantité disponible : > 20
impression à la demande
Vendeur :
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783838322063_lsuk

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 52,48
Autre devise

Ajouter au panier

Frais de port : EUR 11,73
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Piterman, Nir
ISBN 10 : 3838322061 ISBN 13 : 9783838322063
Neuf PF Quantité disponible : 10
Vendeur :
Chiron Media
(Wallingford, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783838322063

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 49,16
Autre devise

Ajouter au panier

Frais de port : EUR 17,62
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Nir Piterman
ISBN 10 : 3838322061 ISBN 13 : 9783838322063
Neuf Taschenbuch Quantité disponible : 2
impression à la demande
Vendeur :
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 4 étoiles, Learn more about seller ratings

Description du livre Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book surveys the automata theoretic techniques that are required for model checking and satisfiability of expressive extensions of LTL that are used in specification of hardware designs. The motivation for studying these issues was the work done in Intel on a specification language for hardware model checking that extends LTL, later to be named ForSpec. While ForSpec does not include automata as temporal connectives, the backend tool, that handles the translation of ForSpec does. This led to the renewed study of automata connectives, and how to best handle them with alternating automata. 88 pp. Englisch. N° de réf. du vendeur 9783838322063

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 49
Autre devise

Ajouter au panier

Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image d'archives

Piterman, Nir
ISBN 10 : 3838322061 ISBN 13 : 9783838322063
Neuf PAP Quantité disponible : > 20
impression à la demande
Vendeur :
PBShop.store US
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783838322063

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 72,53
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Nir Piterman
ISBN 10 : 3838322061 ISBN 13 : 9783838322063
Neuf Taschenbuch Quantité disponible : 1
impression à la demande
Vendeur :
AHA-BUCH GmbH
(Einbeck, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book surveys the automata theoretic techniques that are required for model checking and satisfiability of expressive extensions of LTL that are used in specification of hardware designs. The motivation for studying these issues was the work done in Intel on a specification language for hardware model checking that extends LTL, later to be named ForSpec. While ForSpec does not include automata as temporal connectives, the backend tool, that handles the translation of ForSpec does. This led to the renewed study of automata connectives, and how to best handle them with alternating automata. N° de réf. du vendeur 9783838322063

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 49
Autre devise

Ajouter au panier

Frais de port : EUR 32,99
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image d'archives

Piterman, Nir
ISBN 10 : 3838322061 ISBN 13 : 9783838322063
Neuf PAP Quantité disponible : > 20
impression à la demande
Vendeur :
PBShop.store UK
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783838322063

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 54,96
Autre devise

Ajouter au panier

Frais de port : EUR 29,38
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Piterman, Nir
ISBN 10 : 3838322061 ISBN 13 : 9783838322063
Neuf Couverture souple Quantité disponible : > 20
impression à la demande
Vendeur :
moluna
(Greven, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book surveys the automata theoretic techniques that are required for model checking and satisfiability of expressive extensions of LTL that are used in specification of hardware designs. The motivation for studying these issues was the work done in Int. N° de réf. du vendeur 5412869

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 41,05
Autre devise

Ajouter au panier

Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais