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
9783642389160
Condition
New
Product Description

This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Transfusion Medicine: Fact and Fiction

Transfusion Medicine: Fact and Fiction

$109.99
Schaltungstechnik - Analog und gemischt analog/digital

Schaltungstechnik - Analog und gemischt analog/digital

$44.99
Advances in Tumor Immunology and Immunotherapy

Advances in Tumor Immunology and Immunotherapy

$169.99
Isoenzymes

Isoenzymes

$54.99
Electronic Business

Electronic Business

$79.99
Kundenrckgewinnung durch Direktmarketing

Kundenrckgewinnung durch Direktmarketing

$89.99
Morphine and Metastasis

Morphine and Metastasis

$84.99
Kommunale Sonderfinanzierungsformen

Kommunale Sonderfinanzierungsformen

$59.99
Geometric Measure Theory and Minimal Surfaces

Geometric Measure Theory and Minimal Surfaces

$49.95
Steering Handbook

Steering Handbook

$249.99
Handbook of Cardiac Anatomy, Physiology, and Devices

Handbook of Cardiac Anatomy, Physiology, and Devices

$99.00
Poverty and Exclusion in a Global World

Poverty and Exclusion in a Global World

$109.99
kumene und Gemeinde

kumene und Gemeinde

$34.99
Praxis der Dialyse

Praxis der Dialyse

$84.99
Die Zivilehe und der Grundsatz der Unauflslichkeit der Ehe in der Entwicklung des italienischen Ziv

Die Zivilehe und der Grundsatz der Unauflslichkeit der Ehe in der Entwicklung des italienischen Ziv

$59.99
Computational Science  ICCS 2003

Computational Science ICCS 2003

$39.99
Python Programming Fundamentals

Python Programming Fundamentals

$29.99
The Ten Equations That Rule the World- And How You Can Use Them Too by David Sumpter

The Ten Equations That Rule the World- And How You Can Use Them Too by David Sumpter

$20.99
Computer Aided Analysis and Optimization of Mechanical System Dynamics

Computer Aided Analysis and Optimization of Mechanical System Dynamics

$129.00
Management der Geschfte von morgen

Management der Geschfte von morgen

$69.99
Legal Conventionalism

Legal Conventionalism

$159.99
JIMD Reports, Volume 14

JIMD Reports, Volume 14

$84.99
Destined for Distinguished Oblivion

Destined for Distinguished Oblivion

$169.99
Industry 4.0: Industrial Revolution of the 21st Century

Industry 4.0: Industrial Revolution of the 21st Century

$149.00
Women's Equality, Demography and Public Policies

Women's Equality, Demography and Public Policies

$169.99
Schooling and State Formation in Early Modern Sweden

Schooling and State Formation in Early Modern Sweden

$139.99
Resource Recombination in Firms from a Dynamic Capability Perspective

Resource Recombination in Firms from a Dynamic Capability Perspective

$109.99
Chemie und Umwelt

Chemie und Umwelt

$64.99
Advances in Production Research

Advances in Production Research

$169.99
Interventional Oncology

Interventional Oncology

$179.99
Methods in Nonlinear Integral Equations

Methods in Nonlinear Integral Equations

$54.99
Model Systems in Aging

Model Systems in Aging

$219.99
Robotics in Education

Robotics in Education

$199.99
Pflegehandbuch Herdecke

Pflegehandbuch Herdecke

$54.99
Game Theory, the Internet of Things and Networks

Game Theory, the Internet of Things and Networks

$79.99
Elektromobilitt

Elektromobilitt

$64.99
Cross-Border Outsourcing and Boundaries of Japanese Firms

Cross-Border Outsourcing and Boundaries of Japanese Firms

$129.99
Failed Fracture Fixation

Failed Fracture Fixation

$139.99
Stabilizing and Integrating the Balkans

Stabilizing and Integrating the Balkans

$54.99
Berichte zur Lebensmittelsicherheit 2009

Berichte zur Lebensmittelsicherheit 2009

$29.99
previous
next