Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Tests and Proofs

Best Price (Coupon Required):
Buy Tests and Proofs for $49.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$49.50
@ Link.springer.com with extra coupon

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
$54.99 $54.99

10% OFF
This deals requires coupon
$49.50
See Site In stock Visit Store

Product Details

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

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Bible Stories for Little Hearts

Bible Stories for Little Hearts

$5.24
Gravity, Gradiometry, and Gravimetry

Gravity, Gradiometry, and Gravimetry

$109.99
Skewing Chaos

Skewing Chaos

$129.99
Einfhrung in UNIX

Einfhrung in UNIX

$59.99
Pocket Guide to Diagnostic Hematopathology

Pocket Guide to Diagnostic Hematopathology

$89.00
Migration and Integration Challenges of Muslim Immigrants in Europe

Migration and Integration Challenges of Muslim Immigrants in Europe

$139.99
Trends and Innovations in Information Systems and Technologies

Trends and Innovations in Information Systems and Technologies

$169.00
Topics in Gallai-Ramsey Theory

Topics in Gallai-Ramsey Theory

$69.99
Strategiefhigkeit und Kampagnenfhrung von Unternehmerverbnden

Strategiefhigkeit und Kampagnenfhrung von Unternehmerverbnden

$59.99
Erfolgsfaktoren der Beschaffung im Einzelhandel

Erfolgsfaktoren der Beschaffung im Einzelhandel

$64.99
Linear Algebra

Linear Algebra

$69.99
China and the People's Liberation Army

China and the People's Liberation Army

$54.99
The Evolution of the Primate Foot

The Evolution of the Primate Foot

$199.99
Homotopietheorie

Homotopietheorie

$39.95
Police Use of Force

Police Use of Force

$169.99
Analysis 2

Analysis 2

$34.99
Biological Contributions to Crime Causation

Biological Contributions to Crime Causation

$299.99
Wahrheit und Fake im postfaktisch-digitalen Zeitalter

Wahrheit und Fake im postfaktisch-digitalen Zeitalter

$44.99
Advances in Material Science and Engineering

Advances in Material Science and Engineering

$219.99
Die willkrlich bewegbare knstliche Hand

Die willkrlich bewegbare knstliche Hand

$74.99
Negotiated Justice and Corporate Crime

Negotiated Justice and Corporate Crime

$59.99
Nature(s) in Construction

Nature(s) in Construction

$219.99
Was kostet die Konversion von Militrflchen?

Was kostet die Konversion von Militrflchen?

$79.99
Science and Technology of Polymers and Advanced Materials

Science and Technology of Polymers and Advanced Materials

$329.99
Smart Services Summit

Smart Services Summit

$199.99
Flame-Retardant Polymeric Materials

Flame-Retardant Polymeric Materials

$39.99
Frherkennung und Nachsorge des Dickdarmkrebses

Frherkennung und Nachsorge des Dickdarmkrebses

$69.99
Individuelle Entscheidungsprozesse: Laborexperimente und Computersimulation

Individuelle Entscheidungsprozesse: Laborexperimente und Computersimulation

$44.99
Cerebral Blood Flow in Acute Head Injury

Cerebral Blood Flow in Acute Head Injury

$39.99
Vascular Tumors and Malformations of the Ocular Fundus

Vascular Tumors and Malformations of the Ocular Fundus

$39.99
Infrarot-Bibliographie

Infrarot-Bibliographie

$69.99
High-Energy-Density Physics

High-Energy-Density Physics

$139.99
Machine Learning and Artificial Intelligence for Agricultural Economics

Machine Learning and Artificial Intelligence for Agricultural Economics

$139.00
Performance Modeling, Stochastic Networks, and Statistical Multiplexing, Second Edition

Performance Modeling, Stochastic Networks, and Statistical Multiplexing, Second Edition

$44.99
Quantitative Stratigraphy

Quantitative Stratigraphy

$219.99
The Evolution of Electronic Procurement

The Evolution of Electronic Procurement

$59.99
Bildung und Beschftigung in Japan  Steuerungs- und Abstimmungsaspekte

Bildung und Beschftigung in Japan Steuerungs- und Abstimmungsaspekte

$44.99
Knstliche Intelligenz im Urheberrecht

Knstliche Intelligenz im Urheberrecht

$89.99
The Myth of the Medieval Jewish Moneylender

The Myth of the Medieval Jewish Moneylender

$159.99
Laser Resonators and Beam Propagation

Laser Resonators and Beam Propagation

$169.00
previous
next