Copied Verified Software: Theorie, Tools, Experiments
Verified Software: Theorie, Tools, Experiments
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
A Place for Birds
$5.96
Structure from Motion using the Extended Kalman Filter
$109.99
Aufbau und Organisation von Entwicklungsprojekten
$139.99
Handbook of International Joint Ventures
$109.99
Springer Handbook of Power Systems
$379.99
Representing Ageing
$54.99
Silicon Based Polymers
$169.00
Organisation und Kritik
$99.99
Empathetic Memorials
$139.99
Reliability and Maintenance of Complex Systems
$259.00
Reduction of Nonlinear Control Systems
$54.99
Terahertz (THz), Mid Infrared (MIR) and Near Infrared (NIR) Technologies for Protection of Critical
$199.99
Status Anxiety
$69.99
Clifford the Big Red Dog: It's Pool Time!
$3.74
Enhancing Educational Excellence, Equity and Efficiency
$39.99
How Ficta Follow Fiction
$169.99
Biocultural Landscapes
$109.99
Old-Economy.com
$39.99
Test Equating, Scaling, and Linking
$119.00
Mechanical Vibration: Where Do We Stand?
$169.99
Dialogkultur
$79.99
The Projected Arab Court of Justice
$54.99
Hermeneutics of the Film World
$109.99
Transacting Functions of Human Retroviruses
$109.99
Appointment Planning in Outpatient Clinics and Diagnostic Facilities
$54.99
Introduction to Mathematics for Life Scientists
$69.99
Biosystematik
$44.99
VLISP A Verified Implementation of Scheme
$169.99
Economics of Agricultural Crop Insurance: Theory and Evidence
$219.99
Chirurgie fr Ansthesisten
$139.00
Cell Biology of Metals and Nutrients
$189.00
Die Reizbewegungen der Pflanzen
$59.99
Methoden der vergleichenden Politikwissenschaft
$34.99
Grundlagen und Methoden der Psychiatrie 2
$54.99
Hydraulically Actuated Hexapod Robots
$109.99
Metabolism and Functions of Bioactive Ether Lipids in the Brain
$169.99
Microfinance Institutions
$109.99
Foundations of Quantum Mechanics and Ordered Linear Spaces
$39.99
Engaging First Peoples in Arts-Based Service Learning
$84.99
Grassland Simulation Model
$84.99
