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
Legal-Economic Institutions, Entrepreneurship, and Management
$159.99
Proceedings of the 25th International Conference on the Physics of Semiconductors Part I
$54.99
Heitere Ferientage
$59.99
Hugo Grotius in International Thought
$54.99
Celebrating the 100th Anniversary of Madame Marie Sklodowska Curies Nobel Prize in Chemistry
$49.99
Literature and the Peripheral City
$84.99
Software Projects Secrets
$44.99
National Geographic Kids: Everything Spring
$3.71
Digital Theatre
$89.00
Kreative Volkswirtschaftslehre
$34.99
Early Brain Injury or Cerebral Vasospasm
$219.99
Principles of Imprecise-Information Processing
$129.00
New Trends in Model and Data Engineering
$39.99
Werke und Nachla
$89.99
Struktur und Kultur einer Leadership-Organisation
$64.99
Chronic Diseases in the Year 2005, Volume 1
$219.99
Die lokale Welt im Radio
$59.99
Geometrie der Allgemeinen Relativittstheorie
$44.99
Researching Cultures of Learning
$109.99
Japan as a Low-Crime Nation
$54.99
Optimistic Library Grade 5
$295.00
If You're Spooky and You Know It
$5.21
The Meaning of Nucleocytoplasmic Transport
$54.99
A Political Economy of the Measurement of Inflation
$119.99
Aus Leben und Forschung der Universitt 1947/48
$59.99
Quantenelektronik
$64.99
Scarce Natural Resources, Recycling, Innovation and Growth
$54.99
Emotion Selling
$44.99
Applied Scanning Probe Methods V
$89.00
QM/MM Studies of Light-responsive Biological Systems
$84.99
Webster's New World Portable Print Dictionary, Second Edition by The Editors of the Webster's New Wo
$25.99
Environmental Software Systems
$229.00
Fortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$39.99
Life the Human Quest for an Ideal
$169.99
Justice and Foreign Rule
$54.99
Darkest Italy
$54.99
A Short Course in Ordinary Differential Equations
$39.99
The Sexual Politics of Ballroom Dancing
$69.99
Developments in Advanced Control and Intelligent Automation for Complex Systems
$199.99
Peer-to-Peer Systems II
$54.99
