Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
No Customer Reviews
Select Format
Select Condition 
Book Overview
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstract design to its detailed implementation. That combination of requirements...
Format:Paperback
Language:English
ISBN:0691606056
ISBN13:9780691606057
Release Date:July 2014
Publisher:Princeton University Press
Length:284 Pages
Weight:0.88 lbs.
Dimensions:0.6" x 6.1" x 9.2"
Related Subjects
Computers Computers & Technology Engineering Math Mathematics Science & Math TechnologyCustomer Reviews
0 rating
Copyright © 2024 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
