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: Theorie, Tools, Experiments
Best Price:
Buy Verified Software: Theorie, Tools, 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-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
Reviews
Questions & Answers
Citizen Empowerment and Innovation in the Data-Rich City
$129.00
Class 3.1 Hydrolases V
$329.99
International Conference on Applied Technologies
$129.99
Psychiatrische Pharmakotherapie
$89.99
Harbour Protection Through Data Fusion Technologies
$169.00
Algebraic Structures and Operators Calculus
$39.99
Recent Advances in RSA Cryptography
$109.99
Polymer Gels
$109.00
Analysis of Queueing Networks with Blocking
$109.99
Phnomenologie und Soziologie
$49.99
Bursty Human Dynamics
$59.99
Das Informationsverhalten im Entscheidungsproze vor der Markteinfhrung eines neuen Artikels
$59.99
Operationsatlas Laparoskopische Chirurgie
$129.00
Medical Laser Endoscopy
$39.99
A Comparison of Probabilistic Unfolding Theories for Paired Comparisons Data
$109.99
Computer-Aided Analysis of Gastrointestinal Videos
$169.99
Philosophy and Logic in Central Europe from Bolzano to Tarski
$219.99
Technischer Einsatz von Personal Computern (PC) am Beispiel der Schweitechnik. Zerebrale Links-Rech
$59.99
Management of Water, Energy and Bio-resources in the Era of Climate Change: Emerging Issues and Chal
$109.99
Children and Media Outside the Home
$54.99
Advances in Additive Manufacturing: Materials, Processes and Applications
$199.99
Study of the Calcium Regulation Mechanism of TCR Activation Using Nanodisc and NMR Technologies
$109.99
Gestndniszwang und "Wahrheit des Charakters" in der Literatur der DDR
$39.99
Pest in Venedig 15751577
$59.99
Spider Ecophysiology
$219.99
The Everyday Resilience of the City
$109.99
Non-Monotonic Extensions of Logic Programming
$39.99
Microbial Ecology of Lake Plusee
$84.99
Mesospheric Models and Related Experiments
$39.99
Chronic Illness Care
$79.99
Zur Aktualitt von Marcel Mauss
$24.99
Biopolitiken Regierungen des Lebens heute
$39.99
Value Addition of Horticultural Crops: Recent Trends and Future Directions
$109.99
Business Cycles in the Contemporary World
$54.99
Female Football Players and Fans
$159.99
Separate No More (Hardcover)
$14.24
Little Faces: Feelings, Big & / Emociones grandes y pequeas
$4.46
Language and Professional Identity
$109.99
Rechtsextremismus und Nationalsozialistischer Untergrund
$39.99
Approaches to Legal Ontologies
$109.99
