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 refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.
Reviews
Questions & Answers
Finanzorganisation
$59.99
Konzeptentwicklung fr eine plattformgesttzte Zusammenarbeit im Sinne der BIM-Methodik in der techn
$59.99
EMU A Swedish Perspective
$219.99
Plasma Fluidized Bed
$84.99
The Global Resurgence of Religion and the Transformation of International Relations
$84.99
Marketing-Theorie
$49.99
The Reach of Mind
$39.99
Craft Beverages and Tourism, Volume 2
$129.99
Roblox: Create and Conquer!: An Afk Book by Dynamo
$9.99
Bugs for Lunch
$5.96
Kalter Atem schlafender Vulkane
$34.99
Proceedings of the 5th International Conference on Industrial Engineering (ICIE 2019)
$169.00
IT-Systeme in der Medizin
$84.99
Space Capacity Building in the XXI Century
$109.99
Sustainable Finance and ESG
$179.99
Critical Turning Points in the Middle East
$54.99
Measuring Rheological Properties of Cement-based Materials
$129.00
Migration and Discrimination
$22.99
Object-Process Methodology
$54.99
Integer Programming and Combinatorial Optimization
$79.99
Surrealism in Latin American Literature
$119.99
Biosphere-Atmosphere Exchange of Pollutants and Trace Substances
$219.99
Ressourcenreichtum als Fluch oder Segen
$49.99
Theorie und Moderne Soziologische Essays
$49.99
Wilde Tiere, fhlende Menschen
$69.99
Ecosystem Services and Green Infrastructure
$159.99
Surgical Neuroangiography
$329.99
Implementation and Application of Functional Languages
$69.99
Design and Implementation of Programming Languages
$44.99
Sehr fortgeschrittene Handhabungssysteme
$69.99
Egalitarian Rights Recognition
$109.99
Rings, Modules, and Closure Operations
$129.99
South Asian Migration in the Gulf
$169.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$59.99
Best Bilingual Books Grades 2-4
$55.00
Global Entrepreneurship and Development Index 2014
$39.99
Wireless Communication Electronics by Example
$99.99
Post-Quantum Cryptography
$109.99
Discrete-Time Sliding Mode Protocols for Discrete Multi-Agent System
$129.99
Bewehrungstechnik
$69.99
