Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Verified Software: Theorie, Tools, Experiments

Verified Software: Theorie, Tools, Experiments

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642541070
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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