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
European Disintegration
$169.99
Bilingual Creativity and Arab Contact Literature
$109.99
Melissa (formerly published as GEORGE)
$6.74
Advanced Linear and Matrix Algebra
$44.99
Control Engineering: MATLAB Exercises
$99.99
Black Hole Physics
$169.00
Institutionelle Diskriminierung
$49.99
Mathematical Foundations of Computer Science 2014
$54.99
Essential Fish Habitat Mapping in the Mediterranean
$169.99
Some Tapas of Computer Algebra
$54.99
Bioactive Components
$199.99
tipos malos en ustedes-creen-que-l-saurio?! (The Bad Guys in Do-You-Think-He-Saurus?!)
$5.24
Berichte zur Lebensmittelsicherheit 2013
$39.99
Gender and Language Research Methodologies
$109.99
Rethinking Transit Migration
$59.99
Plug In Electric Vehicles in Smart Grids
$84.99
Introduction to Refractories for Iron- and Steelmaking
$199.99
Study of Excess Electronic Recoil Events in XENON1T
$179.99
Das Zeitalter der Daten
$14.99
Mehrebenen-Governance und Problemregelungsineffektivitt in der EU
$69.99
Mammary Tumor Cell Cycle, Differentiation, and Metastasis
$259.00
Creativity and Innovation
$169.99
Gesamtheitliche Unternehmensfhrung fr Grnder
$34.99
Agiles Prozessmanagement im Krankenhaus
$64.99
Grundzge der IFRS-Konzernrechnungslegung
$24.99
Simson on Porisms
$54.99
Power Systems Restructuring
$219.99
Theoretical, Modelling and Numerical Simulations Toward Industry 4.0
$109.99
Exploring Classical Greek Construction Problems with Interactive Geometry Software
$49.99
Vertragsgestaltung bei hybriden Leistungsangeboten
$59.99
ber die Behandlung des Tetanus mit subkutanen Injektionen von Magnesium sulfuricum
$54.99
Creating the Competitive Edge through Human Resource Applications
$39.99
Analytical Solutions for Transport Processes
$109.99
The Protection and Promotion of Human Security in East Asia
$54.99
Language Processing and Intelligent Information Systems
$39.99
Pro JSF and Ajax
$49.99
Das Mouvement Dmocrate
$69.99
China Satellite Navigation Conference (CSNC) 2013 Proceedings
$219.99
Variation-Aware Design of Custom Integrated Circuits: A Hands-on Field Guide
$139.99
Practical Aspects of Declarative Languages
$54.99
