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

The Quintessence of Intercultural Business Communication

The Quintessence of Intercultural Business Communication

$39.99
Divergence and Convergence of Automobile Fuel Economy Regulations

Divergence and Convergence of Automobile Fuel Economy Regulations

$39.99
Magnetoviscous Effects in Ferrofluids

Magnetoviscous Effects in Ferrofluids

$109.99
Anaerobes in Biotechnology

Anaerobes in Biotechnology

$169.00
Sprache und Dialog als Fhrungsinstrumente

Sprache und Dialog als Fhrungsinstrumente

$44.99
Progress in Computational Analysis of Inelastic Structures

Progress in Computational Analysis of Inelastic Structures

$54.99
Humor in the Caribbean Literary Canon

Humor in the Caribbean Literary Canon

$39.99
Fundamentals of Biofuels Engineering and Technology

Fundamentals of Biofuels Engineering and Technology

$139.99
Internet of Things and Big Data Analytics for Smart Generation

Internet of Things and Big Data Analytics for Smart Generation

$169.99
ber das Verhalten der Marksubstanz der Niere erwachsener Kaninchen und Ratten in der Gewebekultur

ber das Verhalten der Marksubstanz der Niere erwachsener Kaninchen und Ratten in der Gewebekultur

$54.99
The International Legal Responsibility of the European Union in the Context of the World Trade Organ

The International Legal Responsibility of the European Union in the Context of the World Trade Organ

$159.99
Towards the Automatization of Cranial Implant Design in Cranioplasty

Towards the Automatization of Cranial Implant Design in Cranioplasty

$54.99
New Trends in Gastric Cancer

New Trends in Gastric Cancer

$169.99
Kidney Metabolism and Function

Kidney Metabolism and Function

$219.99
History, Memory and Politics in Central and Eastern Europe

History, Memory and Politics in Central and Eastern Europe

$54.99
Soul and Body in Husserlian Phenomenology

Soul and Body in Husserlian Phenomenology

$169.99
Das junge Deutschland

Das junge Deutschland

$79.99
Heredity of the Cephalic Index

Heredity of the Cephalic Index

$39.99
National Success in Elite Sport

National Success in Elite Sport

$44.99
The European Union and the Council of Europe

The European Union and the Council of Europe

$39.99
China Satellite Navigation Conference (CSNC 2021) Proceedings

China Satellite Navigation Conference (CSNC 2021) Proceedings

$299.99
Transcranial Magnetic Stimulation

Transcranial Magnetic Stimulation

$249.99
Research in the Schizophrenic Disorders

Research in the Schizophrenic Disorders

$39.99
Proceedings of Third International Conference on Computational Electronics for Wireless Communicatio

Proceedings of Third International Conference on Computational Electronics for Wireless Communicatio

$219.99
Perspectives on Spatial Data Analysis

Perspectives on Spatial Data Analysis

$199.99
La herencia del capitn Bauelos

La herencia del capitn Bauelos

$5.96
Navigation Assisted Robotics in Spine and Trauma Surgery

Navigation Assisted Robotics in Spine and Trauma Surgery

$129.99
Nature Stories: Little Raindrop

Nature Stories: Little Raindrop

$4.46
Longevity and Development: New perspectives on Ageing Communities

Longevity and Development: New perspectives on Ageing Communities

$249.99
Chinese Agriculture in the 1930s

Chinese Agriculture in the 1930s

$79.99
Handbook of Specific Losses in Flow Systems

Handbook of Specific Losses in Flow Systems

$39.99
Computer Vision  ECCV 2024

Computer Vision ECCV 2024

$79.99
Africana Cultures and Policy Studies

Africana Cultures and Policy Studies

$39.99
Technology Buyouts

Technology Buyouts

$54.99
Instabilities and Nonequilibrium Structures III

Instabilities and Nonequilibrium Structures III

$54.99
Politik in China

Politik in China

$39.99
The Jews in Britain

The Jews in Britain

$109.99
Moderne Flugsicherung

Moderne Flugsicherung

$79.99
Co-Creation in Higher Education

Co-Creation in Higher Education

$39.99
Advanced Information Systems Engineering

Advanced Information Systems Engineering

$109.99
previous
next