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 volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993. The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
Reviews
Questions & Answers
The Historical Turn in Analytic Philosophy
$84.99
Test Equating, Scaling, and Linking
$119.00
The Physics of Deformation of Crystalline Solids
$39.99
Offshore Risk Assessment vol 2
$79.99
Advanced Combustion for Sustainable Transport
$179.99
PR mit Power
$54.99
The Quickest Kid in Clarksville
$5.96
The Manual of Dermatology
$54.99
Post-Conflict Performance, Film and Visual Arts
$129.99
Pro SharePoint with jQuery
$34.99
Entwicklung eines interaktiven Simulators auf der Basis von Petri-Netzen zur Modellierung und Bewert
$59.99
Civic and Uncivic Values in the Czech Republic
$159.99
The Art of Semiparametrics
$109.99
Sozialpsychiatrie theoretische Grundlagen und praktische Einblicke
$84.99
A History of the Norwegian Press, 1660-2015
$54.99
The Palgrave Handbook of Embodiment and Learning
$189.00
TAPSOFT '93: Theory and Practice of Software Development
$84.99
Advances in Intelligent Systems and Computing
$189.00
Agent-based Modeling and Simulation
$109.99
Computational Intelligence, Networked Systems and Their Applications
$54.99
Computational Modelling of Robot Personhood and Relationality
$39.99
100 Years of NCVO and Voluntary Action
$29.99
Das Princip der Ministerverantwortlichkeit in der constitutionellen Monarchie
$59.99
Management and Intelligent Decision-Making in Complex Systems: An Optimization-Driven Approach
$54.99
Critical Pedagogy and Marx, Vygotsky and Freire
$109.99
Dance Theatre in Ireland
$39.99
Demilitarisation of Munitions
$169.99
Elektromagnetische Felder
$44.99
360 Around Shoulder Instability
$129.99
Taschenbuch der Mathematik und Physik
$37.99
Solidarity Across Generations
$219.99
Arbeit zwischen Selbstverwirklichung und Selbstgefhrdung
$17.99
The Faerie Handbook: An Enchanting Compendium of Literature, Lore, Art, Recipes, and Projects by Faerie Magazine
$35.00
Integrierte Unternehmensplanung
$74.99
Positive Psychologie im Coaching
$17.99
Arbeitsmotivation
$59.99
Class, Power and Agrarian Change
$69.99
Independent Random Sampling Methods
$159.99
Ultrafast Phenomena V
$109.99
Philosophy And The Philosophic Life
$34.99
