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:
Buy Verified Software. Theories, Tools, and Experiments for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This volume constitutes the thoroughly refereed post-conferenceproceedings of the 9th International Conference on Verified Software:Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full paperspresented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Reviews
Questions & Answers
Meteorite Research
$219.99
Taylor's Musculoskeletal Problems and Injuries
$54.99
Sino-Latin American Economic and Trade Relations
$109.99
Introduction to Sol-Gel Processing
$449.99
Global Perspectives on Ethics of Corporate Governance
$109.99
Trialogische Markenfhrung im Business-to-Business
$74.99
Introduction to Algebra
$99.99
Symmetry in physics
$19.95
Case Studies in Society, Religion, and Bioethics
$54.99
Sintering and Heterogeneous Catalysis
$84.99
Modern Mathematics
$169.99
Transsphenoidal Surgery
$199.99
Partnerships for Mental Health
$39.99
Semantics of a Networked World. Semantics for Grid Databases
$54.99
Fernsehen und rger
$59.99
Give Peace a Chant
$109.99
Tabakabhngigkeit
$64.99
Pipe Inspection Robots for Structural Health and Condition Monitoring
$119.00
Lehrbuch der Nervenkrankheiten
$49.99
Wrme- und Stofftransport
$59.99
Structures and Algorithms
$119.99
Diego Portales: Interpretative Essays on the Man and Times
$39.99
Charakter und Nervositt
$59.99
River Basin Development and Human Rights in Eastern Africa A Policy Crossroads
$59.99
World Discovery Science Reader: Ants, Bees, and Other Social Insects
$3.71
Kimberlites and Their Xenoliths
$84.99
Perspectives in Biomedical Engineering
$34.99
Peptide Science Present and Future
$259.00
Quantum Neural Computation
$219.00
Elements of Superintegrable Systems
$39.99
Climate Justice and Human Rights
$159.99
Wissenschaft und Praxis
$59.99
Feature Engineering and Computational Intelligence in ECG Monitoring
$169.99
Philosophy Of Leisure
$29.99
Molecular Machines Involved in Peroxisome Biogenesis and Maintenance
$169.99
Optoelectronic Properties of Inorganic Compounds
$169.99
Journalism and Memory
$54.99
Permeability of Biological Membranes
$84.99
Finanzwirtschaft klipp & klar
$14.99
Critical Loads and Dynamic Risk Assessments
$169.99
