Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Computer Aided Verification
Best Price (Coupon Required):
Buy Computer Aided Verification for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Polymer Synthesis Based on Triple-bond Building Blocks
$169.00
Sporotrichosis
$109.99
Tendon and Ligament Injuries of the Foot and Ankle
$109.99
The Behavior, Ecology and Evolution of Cichlid Fishes
$249.99
Hommel interaktiv Update Netzwerkversion 19.0 auf 20.0
$1,569.00
Devising a Clean Energy Strategy for Asian Cities
$109.99
Financial Cybersecurity Risk Management
$54.99
Families and Households
$59.99
The China Development Model
$54.99
Aufgabensammlung der hheren Mathematik
$59.99
Bleiliteratur
$44.99
Homo urbanus
$24.99
Analytical Methods in Fuzzy Modeling and Control
$129.00
The Impact of Tourist Activities on Low-Density Territories
$119.00
Britain, Europe and EMU
$109.99
Crowdsourced Data Management
$84.99
Operator Theory and Analysis
$169.99
Arbeitszeitstudien an Haushaltbottichwaschmaschinen gleicher Art und Gre mit verschiedener Ausstat
$54.99
Reduction of CO2 Emissions from Road Transport in Cities
$54.99
Medialitt und Gedchtnis
$44.99
Lectures on Morse Homology
$89.99
Human Work Interaction Design. Work Analysis and HCI
$54.99
Paradigm Shift of Education Governance in China
$39.99
Manual of Practice Management for Ambulatory Surgery Centers
$54.99
Digital Signal Processing for Communication Systems
$129.00
Calcium-Binding Proteins and RAGE
$89.00
An Introduction to the Greek Theatre
$54.99
Wrmediagramme fr grotechnische Kontaktprozesse
$59.99
Errors-in-Variables Methods in System Identification
$199.99
Contemporary Hematology/Oncology
$109.99
Applied Mathematics for Environmental Problems
$109.99
Zementfreie Hftendoprothese: minimalinvasiver anteriorer Zugang
$24.99
Electronics Engineering
$169.99
Build Better Chatbots
$19.99
Rethinking Modernism
$109.99
Beobachten in Kindertageseinrichtungen
$59.99
ROBOT2022: Fifth Iberian Robotics Conference
$119.00
Facetten der Mathematikdidaktik
$49.99
Politische Geschichte der Gegenwart
$59.99
The Life Cycle of Entrepreneurial Ventures
$259.00
