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 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 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
Infectious Diseases and Arthropods
$169.99
Financial Communication in and Medium-Sized Enterprises
$54.99
Suspicions of Markets
$119.99
Embryonic Stem Cell Protocols
$129.00
Self-Timed Control of Concurrent Processes
$84.99
Karl Philipp Moritz
$59.99
Continuum Mechanics and Linear Elasticity
$109.99![Supramolecular Assemblies of Cucurbit[n]urils with Metal Ions](https://covers.springernature.com/books/jpg_height_648_pixels/9783662466285.jpg)
Supramolecular Assemblies of Cucurbit[n]urils with Metal Ions
$39.99
Relation Algebras
$109.99
Medical Imaging in Clinical Applications
$189.00
The Death and Resurrection of Deviance
$54.99
The Coming Robot Revolution
$37.99
Enduring Success
$39.99
Agile Modeling with UML
$89.99
Major Companies of Europe 1990/91
$84.99
Design Creativity 2010
$219.00
Beitrag zur Kenntnis des primren Sternalsarkoms
$54.99
Justice, Conflict and Wellbeing
$109.99
Handbook on Characterization of Biomass, Biowaste and Related By-products
$219.99
Anteilsbasierte Vergtung nach IFRS 2
$39.99
Genesis and Development of Plekhanovs Theory of Knowledge
$109.99
Neu in der Geschftsfhrung
$39.99
Trocknungstechnik Zweiter Band
$89.99
Radar Cross Section Measurements
$129.00
Plant Responses to Nanomaterials
$179.99
Mesonvariable im Vielnukleonenproblem
$54.99
Rhodophyta - Volume 4
$219.99
Beginning SQL Server 2005 Express for Developers
$39.99
Neue Algorithmen fr praktische Probleme
$64.99
Biotechnology of Anti-diabetic Medicinal Plants
$169.99
Novel Issues on Unsaturated Soil Mechanics and Rock Engineering
$109.99
Situated Dialog in Speech-Based Human-Computer Interaction
$84.99
The Third Wheel (Diary of a Wimpy Kid Series #7) by Jeff Kinney
$14.99
Shape Optimization under Uncertainty from a Stochastic Programming Point of View
$39.99
Research and Practical Issues of Enterprise Information Systems
$39.99
Connectionist Approaches to Language Learning
$84.99
Microdroplet Technology
$109.99
The Best American History Essays on Lincoln
$54.99
Fish Histology
$379.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX
$54.99
