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
Splat the Cat and the Duck with No Quack
$3.71
Management of Multimedia Networks and Services
$54.99
Complex Chemistry
$84.99
Schulcurriculares Fachwissen von Mathematiklehramtsstudierenden
$69.99
Managing Cancer Breakthrough Pain
$54.99
Defining a British State
$109.99
Gangschulung zur Funktionellen Bewegungslehre
$99.99
Advances in Computer, Information, and Systems Sciences, and Engineering
$169.99
China's Resource Diplomacy in Africa
$109.99
DV-Controlling bei Finanzdienstleistern
$69.99
Sustainable Civilization
$84.99
An Introduction to Data Analysis in R
$84.99
Todo el camino hasta la Habana
$5.96
Financing Public Universities
$109.99
Applied Geodesy
$39.99
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$84.99
From Markov Jump Processes to Spatial Queues
$84.99
Atomic Evidence
$59.99
International Economic Institutions
$39.99
Childhood, Youth and Religious Minorities in Early Modern Europe
$139.99
The Social Bond
$39.99
Intelligent Feature Selection for Machine Learning Using the Dynamic Wavelet Fingerprint
$169.99
Reading South Vietnam's Writers
$109.00
d-Orbitals in the Chemistry of Silicon, Phosphorus and Sulfur
$84.99
The Elements of Continuum Mechanics
$109.99
Measuring Arthropod Biodiversity
$199.99
ber die Praktische Ausbildung der rzte in den Kliniken
$44.99
Protection of Materials and Structures from the Space Environment
$219.99
The Earth's Plasmasphere
$199.99
Das Visionre Unternehmen
$49.99
Das Erwerbsverhalten verheirateter Frauen in der Bundesrepublik Deutschland
$59.99
Information Systems and Technologies
$279.99
Gleichheit, Politik und Polizei: Jacques Rancire und die Sozialwissenschaften
$34.99
Die krystallinischen Felsgemengtheile nach ihren mineralischen Eigenschaften, chemischen Bestandthei
$74.99
Foot-and-Mouth Disease Virus
$169.99
Beratung, Coaching, Supervision
$49.99
Infinite Regress Arguments
$54.99
Fermions and Anomalies in Quantum Field Theories
$99.00
STAT Standing Tall and Talented: Home Court
$5.24
