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 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Knie
$79.99
Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace
$54.99
Cloud Computing and ROI
$109.99
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
$39.99
Women and the Media in Jordan
$59.99
Logic Synthesis for Asynchronous Controllers and Interfaces
$179.99
Computer Science and its Applications
$329.99
Innovative Bioceramics in Translational Medicine I
$179.99
Winke fr die Entnahme und Einsendung von Material zur bakteriologischen, serologischen und histolog
$59.99
The Organization of Cities
$109.99
Internationale vertikale Marketingsysteme
$59.99
Mary Anne's Bad Luck Mystery: A Graphic Novel (The Baby-Sitters Club #13)
$9.74
Can Pay Be Strategic?
$109.99
Ein Rechenmodell zur Beschreibung des Stratosphrischen Ozonkreislaufs
$59.99
Downsizing bei Verbrennungsmotoren
$129.99
Patient Reported Outcomes and Quality of Life in Surgery
$89.00
Panic Buying and Environmental Disasters
$109.99
Arab Contract of Employment
$54.99
Contested Czech Cities
$84.99
The American Love Lyric After Auschwitz and Hiroshima
$54.99
Die Expansion der Erde
$59.99
Imaging Processes and Coherence in Physics
$74.99
Meet Me in Mumbai (Hardcover)
$14.24
Software Process Change
$54.99
Smart Network Inspired Paradigm and Approaches in IoT Applications
$109.99
Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges
$69.99
Information Science and Applications (ICISA) 2016
$259.00
Untersuchungen ber den Einflu der Strmungsgeschwindigkeit auf die Aufwuchsentwicklung in Modellge
$54.99
E-Learning in der beruflichen Bildung
$49.99
Gramann
$39.99
Teaching Social Justice Using Postcolonial Texts
$129.00
Differentiated Resourceful Utilization of Rural Organic Wastes
$129.99
Globalization and Environmental Challenges
$549.99
Analytical Issues in Participatory Natural Resources
$54.99
Innovationen im Service
$59.99
Medizinische Versorgung in Justizvollzugsanstalten
$64.99
"Ein Gefhl von freierem Leben"
$39.99
rztliche Gropraxis
$74.99
Interlocking Dimensions of European Integration
$109.99
Innovation through Knowledge Transfer 2010
$169.00
