Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach
Book Details
Format
Paperback / Softback
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 variables Computer-aided design (CAD)
Ksh 9,900.00
Werezi Extended Catalogue
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.
Mind, Body, & Spirit
Shopping Cart
Africa largest book store
Sub Total:
Digital Library
Coming Soon
Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.