Home ›Springer ›Tools and Algorithms for the Construction and Analysis of Systems (English, Tiziana Margaria | Wang Yi)
-54% OFFSpringer
Tools and Algorithms for the Construction and Analysis of Systems (English, Tiziana Margaria | Wang Yi)
₹5,395₹11,747Save 54%
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model che…
ISBN: 9783540418658
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540418658 |
| ISBN-10 | 3540418652 |
| Author | Tiziana Margaria | Wang Yi |
