Constraint-Based Verification (Hb)
Constraint-Based Verification (Hb)
Author: | Yuan J. |
Publisher: | Sp Springer |
Publishing Year: | 2006 |
ISBN: | 9780387259475 |
Binding: | Paperback |
Item Weight: | 0.50 KG |
Dimensions: | 20 x 18 x 2 cm |
- SKU: 9780387259475_CBS
- Sold by CBS Books
- Contact Seller
- Availability: In Stock