Springer
Computer Aided Verification (English, Costas Courcoubetis)
₹5,697
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 volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can…
ISBN: 9783540569220
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540569220 |
| ISBN-10 | 3540569227 |
| Author | Costas Courcoubetis |
