Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings: 2725 (Lecture Notes in Computer Science)
by Fabio Somenzi, Jr. Hunt
ISBN 13: 9783540405245
Format: Paperback (500 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
