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

Dualist Heresy in the Middle Ages

Dualist Heresy in the Middle Ages

$109.99
Ottoman/Turkish Visions of the Nation, 1860-1950

Ottoman/Turkish Visions of the Nation, 1860-1950

$54.99
Multiple Congenital Anomalies

Multiple Congenital Anomalies

$84.99
Zur Aktualitt von Max Weber

Zur Aktualitt von Max Weber

$19.99
ENTERprise Information Systems, Part II

ENTERprise Information Systems, Part II

$84.99
Rome and Irish Catholicism in the Atlantic World, 16221908

Rome and Irish Catholicism in the Atlantic World, 16221908

$129.99
Gender and Power in Sierra Leone

Gender and Power in Sierra Leone

$39.99
Handbuch fr Online-Texter und Online-Redakteure

Handbuch fr Online-Texter und Online-Redakteure

$69.99
Ion-Selective Electrodes

Ion-Selective Electrodes

$109.99
Lenin, Religion, and Theology

Lenin, Religion, and Theology

$109.99
The Nonuniform Discrete Fourier Transform and Its Applications in Signal Processing

The Nonuniform Discrete Fourier Transform and Its Applications in Signal Processing

$169.99
Lehrbuch der konomischen Analyse des Zivilrechts

Lehrbuch der konomischen Analyse des Zivilrechts

$74.99
Artificial Neural Networks in Pattern Recognition

Artificial Neural Networks in Pattern Recognition

$54.99
Fiscal Decentralization Reforms

Fiscal Decentralization Reforms

$169.99
Computers in Swedish Society

Computers in Swedish Society

$109.99
Protein and Amino Acid Metabolism in Cancer Cachexia

Protein and Amino Acid Metabolism in Cancer Cachexia

$119.99
Nonlinear Phenomena in Physics and Biology

Nonlinear Phenomena in Physics and Biology

$39.99
Whole-Body Control for Multi-Contact Balancing of Humanoid Robots

Whole-Body Control for Multi-Contact Balancing of Humanoid Robots

$139.99
Antimalarial Chemotherapy

Antimalarial Chemotherapy

$219.99
Children, Young People and the Press in a Transitioning Society

Children, Young People and the Press in a Transitioning Society

$119.99
Latin American Science Fiction

Latin American Science Fiction

$109.99
Theoretical and Mathematical Foundations of Human Health Risk Analysis

Theoretical and Mathematical Foundations of Human Health Risk Analysis

$109.99
Modern Problems of Molecular Physics

Modern Problems of Molecular Physics

$169.00
Staging Modern American Life

Staging Modern American Life

$39.99
Die Periphere Sehbahn

Die Periphere Sehbahn

$59.99
Chancen und Grenzen der Computeruntersttzung kooperativen Arbeitens

Chancen und Grenzen der Computeruntersttzung kooperativen Arbeitens

$49.99
Decision-Making in Reconstructive Surgery

Decision-Making in Reconstructive Surgery

$39.99
Ultrasound in Medicine

Ultrasound in Medicine

$84.99
The Evolution of Knowledge

The Evolution of Knowledge

$44.99
Handbuch Politische Gewalt

Handbuch Politische Gewalt

$64.99
Cultural Politics and the Transatlantic Divide over GMOs

Cultural Politics and the Transatlantic Divide over GMOs

$84.99
The Enigma of Probability and Physics

The Enigma of Probability and Physics

$219.99
TMS 2017 146th Annual Meeting & Exhibition Supplemental Proceedings

TMS 2017 146th Annual Meeting & Exhibition Supplemental Proceedings

$219.99
Subarachnoidalblutungen aus Hirnaneurysmen als Todesursache

Subarachnoidalblutungen aus Hirnaneurysmen als Todesursache

$59.99
Colour Vision Deficiencies VII

Colour Vision Deficiencies VII

$219.99
Spiel ohne Grenzen?

Spiel ohne Grenzen?

$59.99
Werte

Werte

$74.99
Migrne

Migrne

$59.99
Die Zukunft der Datenkonomie

Die Zukunft der Datenkonomie

$59.99
Lean and Cleaner Production

Lean and Cleaner Production

$129.00
previous
next