Home
Tools and Algorithms for the Construction and Analysis of Systems by Orna Grumberg, Paperback | Indigo Chapters
Coles
Tools and Algorithms for the Construction and Analysis of Systems by Orna Grumberg, Paperback | Indigo Chapters
From Orna Grumberg
Current price: $160.95
Loading Inventory...
Size: 1 x 9.02 x 5.11
*Product information may vary - to confirm product availability, pricing, and additional information please contact Coles
This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems. | Tools and Algorithms for the Construction and Analysis of Systems by Orna Grumberg, Paperback | Indigo Chapters
You May Also Like
More About Coles at Bramalea City Centre
Making Connections. Creating Experiences. We exist to add a little joy to our customers’ lives, each time they interact with us.
Store Info
