Books · Books
Abstraction Refinement For Large Scale Model Checking
Product code: 9780387341552
₹8485
₹84850% off
Abstraction Refinement For Large Scale Model Checking
Book details
Book Details
- Publisher
- Springer
- ISBN
- 9780387341552
- ISBN 10
- 387341552
- ISBN 13
- 9780387341552
- Edition
- 0
- Publication Year
- 2006
- Author
- Wang
General
- GTIN
- 9780387341552
- ISBN_1
- 9780387341552