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
The 21st Century Turning Point for the Northern Sea Route?
$219.99
Modelle in der Medizin
$69.99
Cancer Management in Man: Chemotherapy, Biological Therapy, Hyperthermia and Supporting Measures
$169.00
The Munich Project CIP
$39.99
Shipboard Literary Cultures
$89.00
Emerging Trends in the Evolution of Service-Oriented and Enterprise Architectures
$109.99
Time-Dependent Mechanical Behavior of Ceramic-Matrix Composites at Elevated Temperatures
$199.99
Shuffle Approach Towards Quantum Affine and Toroidal Algebras
$49.99
Mathematical Cognition and Understanding
$179.99
Ionic Channels in Cells and Model Systems
$39.99
Kapsel-Band-Verletzungen des Kniegelenks
$69.99
A Season of Sight Words - Winter: Catching Snowflakes
$3.71
Contemporary Evolution Strategies
$34.99
Dual Energy CT in Oncology
$64.99
The Long Shadow of the British Empire
$109.99
Discovery of Single Top Quark Production
$39.99
Developments in Tryptophan and Serotonin Metabolism
$259.00
Thing and Space
$54.99
Living with Monsters? Social Implications of Algorithmic Phenomena, Hybrid Agency, and the Performat
$89.99
ATARI Spiele programmieren
$44.99
IUTAM Symposium on Nonlinear Instability and Transition in Three-Dimensional Boundary Layers
$219.99
Identity Construction and Tourism Consumption
$139.99
The Bounding Approach to VLSI Circuit Simulation
$129.00
Externally Heated Valve Engine
$109.99
Mining Software Engineering Data for Software Reuse
$109.99
Water Supply Network District Metering
$109.99
Britain and the International Committee of the Red Cross, 1939-1945
$54.99
Limit Theorems for the Riemann Zeta-Function
$179.99
Europe Toward the Next Enlargement
$84.99
Insolvenzprophylaxe fr Deutschland
$54.99
Getting Started with Istio Service Mesh
$44.99
Towards a New Political Economy of Development
$39.99
Early Life Origins of Ageing and Longevity
$84.99
Nonexistent Objects
$169.99
Molecular Pathology in Clinical Practice
$169.99
Die Wrme-bertragung
$59.99
Formative Assessment and Feedback Tool
$54.99
Particle Scattering, X-Ray Diffraction, and Microstructure of Solids and Liquids
$84.99
Numerical Analysis, Lancaster 1984
$29.99
Control Theory in the Plane
$109.99
