Order Total (1 Item Items):
Shipping Destination:
Extending Temporal Logic Omega Automata by Piterman Nir (6 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (6)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (5)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (6)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (5)
- Not Print on Demand (3)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Extending Temporal Logic with Omega-automata
Published by LAP LAMBERT Academic Publishing Okt 2009, 2009
ISBN 10: 3838322061 ISBN 13: 9783838322063
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 88 pp. Englisch.
-
Extending Temporal Logic with Omega-automata | The Automata Theoretic Techniques behind PSL Model Checking
Published by LAP LAMBERT Academic Publishing, 2009
ISBN 10: 3838322061 ISBN 13: 9783838322063
Language: English
Taschenbuch. Condition: Neu. Extending Temporal Logic with Omega-automata | The Automata Theoretic Techniques behind PSL Model Checking | Nir Piterman | Taschenbuch | 88 S. | Englisch | 2009 | LAP LAMBERT Academic Publishing | EAN 9783838322063 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
-
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
Published by LAP Lambert Academic Publishing, 2010
ISBN 10: 3838322061 ISBN 13: 9783838322063
Language: English
paperback. Condition: Like New. Like New. book.
-
Extending Temporal Logic with Omega-automata
Published by LAP LAMBERT Academic Publishing Okt 2009, 2009
ISBN 10: 3838322061 ISBN 13: 9783838322063
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
-
Extending Temporal Logic with Omega-automata
Published by LAP Lambert Academic Publishing, 2009
ISBN 10: 3838322061 ISBN 13: 9783838322063
Language: English
Condition: 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.
-
Extending Temporal Logic with Omega-automata : The Automata Theoretic Techniques behind PSL Model Checking
Published by LAP LAMBERT Academic Publishing, 2010
ISBN 10: 3838322061 ISBN 13: 9783838322063
Language: English
Taschenbuch. Condition: 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.
