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)
Ksh 9,900.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
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.
