buy(1,070,688)99.7%
Brand New
$89.95
Free shipping
*Learn more
Computer Aided Verification (1995, Paperback) 
Computer Aided Verification (1995, Paperback)
Publisher: Springer Verlag
Publication Date: 1995-05-01
Series: Lecture Notes in Computer Science 939
Language: English
Format: Paperback
ISBN-10: 3540600450
ISBN-13: 9783540600459
Product ID: EPID276103
Portions of this page Copyright 1995 - 2009 Muze Inc. All rights reserved.

About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help
Copyright © 1995-2009 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
eBay official time

Error
We're sorry, but there's been an error.
Please try again.