All Formats & Editions
1 - 2 of 2 results found
Temporal Logic and State Systems
Edition Description
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...
Edition Details
Format:Paperback
Language:English
ISBN:3642086802
Format: Paperback
Condition:
$
89.99
Temporal Logic and State Systems
Edition Description
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...
Edition Details
Format:Hardcover
Language:English
ISBN:3540674012
Format: Hardcover
Condition:
$
84.99
Copyright © 2026 Thriftbooks.com Terms of Use
| Privacy Policy | Do Not
Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
