Decidability of Parameterized Verification
Book Details
Format
Paperback / Softback
ISBN-10
3031008839
ISBN-13
9783031008832
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 29th, 2015
Print length
158 Pages
Product Classification:
Information theoryCoding theory & cryptologyAlgorithms & data structuresComputer science
Ksh 7,200.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ????(n) parameterized by n ? N, whether, for all n ? N, the system ????(n) satisfies a specification.
Get Decidability of Parameterized Verification by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
