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-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
Structure and Reactivity of Metals in Zeolite Materials
$259.00
EXPO-INFO 2000
$39.99
Interleukin Protocols
$84.99
Bits und Bytes in Mikrochips
$29.99
Histopathologische Diagnostik der Prostatastanzbiopsie
$129.99
Photosynthesis
$249.99
Teaching Writing Through Differentiated Instruction With Leveled Graphic Organizers
$13.49
Selenium in Biology and Medicine
$109.99
Scholastic First Picture Dictionary (Hardcover)
$12.74
Photonic Slot Routing in Optical Transport Networks
$84.99
Smart Vehicle Handling - Test und Evaluation in der Fahrzeugtechnik
$69.99
Sex and the intelligent women
$54.99
Streitfall Zweisprachigkeit - The Bilingualism Controversy
$39.99
Emerging Model Organisms
$169.99
Kundenkommunikation in sozialen Medien
$54.99
Literarische Inszenierungen von Geschichte
$79.99
Bildverarbeitung fr die Medizin 1999
$69.99
Perspectives in Grassland Ecology
$39.99
Materiality of Cooperation
$99.99
Electroweak Interactions
$39.99
Land, Liberation and Compromise in Southern Africa
$39.99
Das Gewerbeekzem
$59.99
Atlas of Animal Anatomy and Histology
$109.00
Diagnosis and Treatment of Autism
$219.99
Advanced Theories and Computational Approaches to the Electronic Structure of Molecules
$39.99
Handbook of Crystallography
$39.99
Histological Typing of Lung and Pleural Tumours
$99.00
Mary Had a Little Snowplow
$3.71
Medical Neuroanatomy for the Boards and the Clinic
$99.99
Unknowledge and Choice in Economics
$69.99
Advances in Emerging Information and Communication Technology
$219.99
Recent Advances in Manufacturing Modelling and Optimization
$199.99
Microbial Biocontrol: Food Security and Post Harvest Management
$179.99
Implizites Wissen in Organisationen
$59.99
Creating Flash Widgets with Flash CS4 and ActionScript 3.0
$24.99
Syria: From National Independence to Proxy War
$79.99
Musicalproduktionen
$74.99
Pivotal Certified Spring Web Application Developer Exam
$49.99
Integrity and Internal Control in Information Systems V
$109.99
Allies Apart
$39.99
