Computer Aided Verification by Orna Grumberg - Paperback - GOOD
$43.69
This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV \'97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Computer Aided Verification by Orna Grumberg - Paperback - GOOD$43.69
Computer Aided Verification: 5th International - Springer 1993 - GOOD$43.69
Computer Aided Verification: 12th International Conference, CAV 2000 Chicago...$84.95
Computer Aided Verification by E. Allen Emerson - Paperback - GOOD$85.50
Computer Aided Verification: 14th International Conference, CAV 2002 Copenha...$46.19
Computer Aided Verification : 8th International Conference, Cav '96, New Brun...$63.65
Computer Aided Verification (Intl Conference Proceedings 1997) SHIPS FREE$50.00
Computer Aided Verification: 8th International - Springer 1996 - GOOD$42.68
www.userbars.org
