Copied Computer Aided Verification
Computer Aided Verification
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.
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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Call Center Lexikon
$49.99
Curating Islamic Art Worldwide
$69.99
Womens Work in Special Period Cuba
$64.99
Structures for Semantics
$169.99
Let's Play!: Let's Have Fun!
$5.21
Psychoactive Drug Abuse in Hong Kong
$54.99
Isaiah Berlins Cold War Liberalism
$69.99
Financial Exclusion
$109.99
Great Power Conduct and Credibility in World Politics
$169.99
Analog Circuit Design
$169.99
Proceedings of the First Symposium on Aviation Maintenance and Management-Volume I
$219.99
Memorialising Shakespeare
$89.00
Conflict and Politics of Identity in Sudan
$39.99
Beginning Data Science with R
$84.99
Prognosen fr Start-up-Unternehmen
$17.99
Advanced Topics in the Arithmetic of Elliptic Curves
$69.99
Recent Advances in Blockchain Technology
$139.00
Prferenzbasierte Segmentierung von Fondskufern
$79.99
Fuzzy Engineering Economics with Applications
$129.00
Handbook of Integrated Circuit Industry
$849.99
Blood Groups and Human Heredity, 1900-1950
$159.99
Intelligence Sharing, Transnational Organized Crime and Multinational Peacekeeping
$39.99
The Business Case for Love
$29.99
Design of Digital Chaotic Systems Updated by Random Iterations
$54.99
Databases in Telecommunications
$54.99
Malign Masters Gentile Heidegger Lukcs Wittgenstein
$109.99
Krystallsysteme und Krystallstructur
$69.99
350 Keywords Digitalisierung
$14.99
Microfluidics Diagnostics
$219.99
Schizophasie in Linguistischer Deutung
$59.99
Guided Science Readers: Guided Reading Level D (Single-Copy Set)
$17.99
Conservative Intellectuals and Richard Nixon
$39.99
Adaptive Shyness
$109.99
Deep Learning and Visual Artificial Intelligence
$249.99
Innovationen in Familienunternehmen
$69.99
Green Transportation (A True Book: A Green Future)
$5.99
Stroke Medicine
$54.99
Sustainable Resource Use and Economic Dynamics
$169.99
Year of the Jungle
$5.96
Ear, Nose and Throat Disease
$54.99
