-60% OFFSpringer
Computer Aided Verification (English, Rajeev Alur | Doron a. Peled)
₹4,559₹11,532Save 60%
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
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004, held in Boston, Massachusetts, USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation…
ISBN: 9783540223429
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540223429 |
| ISBN-10 | 3540223428 |
| Author | Rajeev Alur | Doron a. Peled |
