Engineering
Constraint-based Verification
Author:
Yuan, Jun/ Pixley, Carl/ Aziz, Adnan
Isbn 13:
9780387259475
ISBN: 0387259473
Pub Date:
Oct 1, 2005
Publisher:
Springer Verlag
Shipping Weight: 1.26 pounds
Status:
Ships 4-9 days CALL RUSH SHIP
Quantum Price: $104.00
Quantity in Basket: None
view
more info, including table of contents
(opens in pop-up window)