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
AI Summary
Ksh 7,200.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
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.
Discover books you might love based on this title.
More in This Genre
Algorithms and Theory of Computation Handbook, Volume 1
Ksh 14,950.00
Text and Math Into LaTeX
Ksh 8,650.00
Knowledge Integration Methods for Probabilistic Knowledge-based Systems
Ksh 8,650.00
Guide to Teaching Computer Science
Ksh 11,700.00
Classical and Physical Security of Symmetric Key Cryptographic Algorithms
Ksh 23,400.00
Introduction to Healthcare Information
Ksh 12,250.00
