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
Parametric Modeling with Autodesk Fusion
Ksh 12,350.00
Beginning AutoCAD 2006
Ksh 9,650.00
AutoCAD 2000i: An Introductory Course
Ksh 9,450.00
Ramanujan Summation of Divergent Series
Ksh 6,650.00
Tutorial Guide to AutoCAD 2016
Ksh 11,500.00
Dynamic Equations on Time Scales and Applications
Ksh 25,200.00
