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
Verified Software: Theories, Tools and Experiments
Best Price (Coupon Required):
Buy Verified Software: Theories, Tools and Experiments 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 constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.
Reviews
Questions & Answers
Religious Conversions in the Mediterranean World
$109.99
Annals of Systems Research
$109.99
Peppa Pig: Peppa Goes Apple Picking
$3.74
Imaging and Quantifying Neuronal Autophagy
$199.99
The Eurasian Project and Europe
$54.99
Malaysias United Nations Peacekeeping Operations (19602010)
$119.99
Zukunftsvision Deutschland
$64.99
Personal Wireless Communications
$109.99
Kawaii Cuties: Scratch Magic
$9.74
Die Legitimitt der Organisation
$64.99
Ursachen und Konsequenzen der Finanzkrise
$64.99
Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des rechersches pharmac
$54.99
High Precision Optical Spectroscopy and Quantum State Selected Photodissociation of Ultracold 88Sr2
$109.99
The Meaning of Liberty Beyond Earth
$169.99
Introducing Silverlight 4
$29.99
Protected Areas
$49.99
Reimagining Science Education in the Anthropocene, Volume 2
$59.99
Nanooptics and Photonics, Nanochemistry and Nanobiotechnology, and Their Applications
$169.99
Design Computing and Cognition '16
$329.99
Brightening Tomorrow Together 2024
$199.99
Computer and Information Science 2009
$169.99
Chaotic Dynamics in Nonlinear Theory
$54.99
Race, Capital, and Equity in Higher Education
$54.99
High-Resolution Approaches in Stratigraphic Paleontology
$169.99
PET/CT in Neuroendocrine Tumors
$64.99
Proceedings of the 6th International Conference on Advances in Civil Engineering
$219.99
Spatial Modeling and Assessment of Environmental Contaminants
$179.99
Advanced Model-Based Charging Control for Lithium-Ion Batteries
$179.99
Materiality and Visuality in North East India
$159.99
Instrument Development in the Affective Domain
$84.99
Absatzstrategien ostdeutscher mittelstndischer Industrieunternehmen
$59.99
The Encyclopedia of Public Choice
$429.00
Pro Docker
$34.99
Puritans At Play
$54.99
Talk in Two Languages
$54.99
Fluorescent Tools for Imaging Oxidative Stress in Biology
$109.99
Advances in Applied Mechanics
$199.99
Transforming the Golden-Age Nation State
$54.99
Dynamics and Control of Energy Systems
$129.00
Shaping Future Schools with Digital Technology
$139.99
