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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Ageing Issues and Responses in India
$119.00
Multinationale Banken im Zukunftsmarkt VR China
$59.99
Atlas of Esophageal Disease and Intervention
$109.99
Bank CEOs
$54.99
Einfhrung in die Sonderstahlkunde
$59.99
Clinical Pharmacokinetics
$54.99
Schellings Reception in Nineteenth-Century British Literature
$89.99
Explaining White-Collar Crime
$59.99
Computer-Aided Design and VLSI Device Development
$169.99
Challenges in Automation, Robotics and Measurement Techniques
$219.99
Effizienz von Bonus-Malus-Systemen
$59.99
Handbook of Philosophical Logic
$129.00
Wertpapierbrsen
$59.99
Discrete-time Signal Processing
$54.99
New Frontiers of Knowledge Management
$109.99
Qualittsmanagement im Gesundheitswesen
$39.99
Resilience and Recovery in Asian Disasters
$84.99
Analysis and Simulation of Heterostructure Devices
$129.00
Experiments and Video Analysis in Classical Mechanics
$54.99
Mass Transportation Problems
$149.00
Harmonic Analysis
$44.99
Untersuchungen an Iso- und Heterocyclen niedriger Ringgre
$59.99
Electromagnetic Compatibility in Railways
$129.00
Promises To Keep (Hardcover)
$14.24
Fundamentals of Cosmic Particle Physics
$109.99
Freiwilligenarbeit
$17.99
Information Systems Security
$54.99
Brave New Brain
$19.99
Robust Stabilization Against Structured Perturbations
$39.99
A Pyramid Framework for Early Vision
$39.99
Optimale Gestaltung von Mehrprodukt-Distributionssystemen
$59.99
Gehirn und Kunst
$89.99
Power and Identity in the Struggle for Social Justice
$84.99
Krise als Chance
$59.99
Landscape Ecology and Water Management
$219.99
Algebraic-Geometric Codes
$109.99
British Sociology
$59.99
Algebra. Some Current Trends
$34.99
Computational Intelligence for Privacy and Security
$169.99
The Probability Integral
$54.99
