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
New Directions in Terahertz Technology
$219.99
Learning to Cooperate, Cooperating to Learn
$169.99
Nonlinear Dynamics, Chaos, and Complexity
$99.99
Smart Microgrids
$79.99
Intergenerational Equity and Sustainability
$84.99
Uranium in the Environment
$329.99
Structure and Multiscale Mechanics of Carbon Nanomaterials
$109.99
Lighting up the Blackbox Digital Transformation in German Lobbying
$79.99
Plant Desiccation Tolerance
$219.99
Goldie Blox: Goldie Blox Ruins Rules the School!
$5.24
Aerodynamics
$79.99
Mathematical Analysis
$39.99
Paradigma der digitalen und multioptionalen Bildung
$79.99
Cultural Work and Higher Education
$54.99
Die Selbstverwaltung der Volksschule
$59.99
National Geographic Kids- Level 1: Animal Armor
$3.71
Motion Analysis of Soccer Ball
$54.99
Climate Resilient Water Resources Management
$59.99
Cytology of the Mediastinum and Gut Via Endoscopic Ultrasound-Guided Aspiration
$54.99
The Other Lepidoptera: Moth Conservation in Australia
$169.99
Partially Linear Models
$54.99
Physics and Chemistry of Lakes
$159.99
Homological and Computational Methods in Commutative Algebra
$109.99
Carl Gustav Jung
$39.99
Emerging Space Markets
$139.00
Packaging of Pharmaceuticals and Healthcare Products
$84.99
Materials with Complex Behaviour II
$169.99
Emerging Technologies for Information Systems, Computing, and Management
$259.00
Die Dolomite am Nordwest-Abfall des Hohen Venns im Raume Aachen-Stolberg
$49.99
Logistik
$229.00
Computer Vision ECCV 2024
$169.99
The Future of East Asia
$84.99
Single Piles in Liquefiable Ground
$54.99
Linear Functional Analysis for Scientists and Engineers
$84.99
Computer and Computing Technologies in Agriculture
$109.99
Mesoscale Modeling of the Atmosphere
$59.99
Mathematical Analysis of Decision Problems in Ecology
$54.99
Der Schelmenroman
$19.99
Applying Data Science
$119.99
Pocket Guide Regionalansthesie
$19.99
