Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
Book Details
Format
Paperback / Softback
Book Series
Princeton Series in Computer Science
ISBN-10
0691606056
ISBN-13
9780691606057
Publisher
Princeton University Press
Imprint
Princeton University Press
Country of Manufacture
US
Country of Publication
GB
Publication Date
Jul 14th, 2014
Print length
284 Pages
Weight
458 grams
Dimensions
15.70 x 23.20 x 1.90 cms
Product Classification:
Complex analysis, complex variablesComputer-aided design (CAD)
AI Summary
Ksh 9,900.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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 methodo
Get Computer-Aided Verification of Coordinating Processes by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Princeton University Press and it has pages.
Discover books you might love based on this title.
More in This Genre
Mastering AutoCAD 2016 and AutoCAD LT 2016
Ksh 9,850.00
Finite Element Simulations with ANSYS Workbench 2020
Ksh 12,150.00
Engineering Design and Graphics with SolidWorks 2019
Ksh 17,600.00
Introduction to AutoCAD 2022 for Civil Engineering Applications
Ksh 13,500.00
AutoCAD 2025 Instructor
Ksh 16,900.00
Spin Glasses and Complexity
Ksh 8,650.00
