Breaking News!
Up to 30% Off Nike Footwear

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

Toxicology and Clinical Pharmacology of Herbal Products

Toxicology and Clinical Pharmacology of Herbal Products

$219.99
Nuclear Materials Safety Management

Nuclear Materials Safety Management

$129.00
Historisch-genetische Theorie der Gesellschaft

Historisch-genetische Theorie der Gesellschaft

$74.99
Geboren 1964 und 1971

Geboren 1964 und 1971

$69.99
Advances in Cognitive Informatics and Cognitive Computing

Advances in Cognitive Informatics and Cognitive Computing

$129.00
Injury Models of the Central Nervous System

Injury Models of the Central Nervous System

$169.99
Growth Factors, Peptides, and Receptors

Growth Factors, Peptides, and Receptors

$39.99
Johann Jacob Moser

Johann Jacob Moser

$59.99
Groups and Symmetry

Groups and Symmetry

$54.99
Matrix Information Geometry

Matrix Information Geometry

$169.99
Bericht ber die XXII. Tagung (Kriegstagung)

Bericht ber die XXII. Tagung (Kriegstagung)

$59.99
Zur Kenntnis der Psychosen des Schtzengrabens

Zur Kenntnis der Psychosen des Schtzengrabens

$44.99
Health Promotion Evaluation Practices in the Americas

Health Promotion Evaluation Practices in the Americas

$54.99
Nachhaltiges Markenmanagement

Nachhaltiges Markenmanagement

$44.99
Mass Media, Culture and Society in Twentieth-Century Germany

Mass Media, Culture and Society in Twentieth-Century Germany

$84.99
Gender and Authority across Disciplines, Space and Time

Gender and Authority across Disciplines, Space and Time

$109.99
The Franciscan Invention of the New World

The Franciscan Invention of the New World

$129.99
Neural Nets WIRN VIETRI-96

Neural Nets WIRN VIETRI-96

$84.99
Photorefractive Optoelectronic Tweezers and Their Applications

Photorefractive Optoelectronic Tweezers and Their Applications

$84.99
An Introduction to Homological Algebra

An Introduction to Homological Algebra

$69.99
Zum Eliminationsproblem der Potenzreihenideale

Zum Eliminationsproblem der Potenzreihenideale

$54.99
Die Sozialarbeitswissenschaft und ihre Theorie(n)

Die Sozialarbeitswissenschaft und ihre Theorie(n)

$49.99
Dorsolateral Prefrontal Cortex

Dorsolateral Prefrontal Cortex

$159.99
Marketingbungsbuch

Marketingbungsbuch

$24.99
Untersuchung ber die Verbrennung methanhaltiger Gasgemische

Untersuchung ber die Verbrennung methanhaltiger Gasgemische

$59.99
Disproportionality and Social Justice in Education

Disproportionality and Social Justice in Education

$169.99
Atlas of Genitourinary Pathology

Atlas of Genitourinary Pathology

$89.00
Social Media Analytics Strategy

Social Media Analytics Strategy

$44.99
Axiomatic Utility Theory under Risk

Axiomatic Utility Theory under Risk

$54.99
Kristy's Big Day (The Baby-Sitters Club #6)

Kristy's Big Day (The Baby-Sitters Club #6)

$5.99
Supercomputational Science

Supercomputational Science

$39.99
Wandlungen des Mythos

Wandlungen des Mythos

$64.99
Advances in Artificial Intelligence for Renewable Energy Systems and Energy Autonomy

Advances in Artificial Intelligence for Renewable Energy Systems and Energy Autonomy

$199.99
Biology and Management of Unusual Plasma Cell Dyscrasias

Biology and Management of Unusual Plasma Cell Dyscrasias

$39.99
Nat Enough

Nat Enough

$9.74
Everyday Psychiatry

Everyday Psychiatry

$109.99
Personendarstellung bei den Florentinischen Geschichtschreibern der Renaissance

Personendarstellung bei den Florentinischen Geschichtschreibern der Renaissance

$59.99
Principles of Surface Physics

Principles of Surface Physics

$54.99
Development in Language Theory

Development in Language Theory

$54.99
Numerical Linear Algebra: Theory and Applications

Numerical Linear Algebra: Theory and Applications

$49.99
previous
next