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

Tests and Proofs

Best Price (Coupon Required):
Buy Tests and Proofs for $36.00 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: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ 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
$39.99 $39.99

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

Product Details

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

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms

$79.99
Genetic Engineering of Osmoregulation

Genetic Engineering of Osmoregulation

$109.99
China in Malaysia

China in Malaysia

$37.99
The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods

$109.99
Physikalisches Handwrterbuch

Physikalisches Handwrterbuch

$54.99
Die Dynamik Europas

Die Dynamik Europas

$37.99
Plague-Making and the AIDS Epidemic: A Story of Discrimination

Plague-Making and the AIDS Epidemic: A Story of Discrimination

$39.99
Arbeitsmedizin in Europa, Allgemeine Arbeitsmedizin, Silikoseprobleme, Spezielle Arbeitspathologie

Arbeitsmedizin in Europa, Allgemeine Arbeitsmedizin, Silikoseprobleme, Spezielle Arbeitspathologie

$59.99
Fetal liver transplantation

Fetal liver transplantation

$39.99
Algorithms and Models for the Web Graph

Algorithms and Models for the Web Graph

$39.99
Design, User Experience, and Usability: Design Thinking and Practice in Contemporary and Emerging Te

Design, User Experience, and Usability: Design Thinking and Practice in Contemporary and Emerging Te

$109.99
Forum Markenforschung

Forum Markenforschung

$49.99
Molecular Tools for Screening Biodiversity

Molecular Tools for Screening Biodiversity

$219.99
The Upperworld and the Underworld

The Upperworld and the Underworld

$84.99
Creativity in Intelligent Technologies and Data Science

Creativity in Intelligent Technologies and Data Science

$99.99
Sustainable Radiation Technologies in Waste-biomass Valorization

Sustainable Radiation Technologies in Waste-biomass Valorization

$219.99
Recent Advances in Mechanical Engineering

Recent Advances in Mechanical Engineering

$249.99
Beyond Pedagogies of Exclusion in Diverse Childhood Contexts

Beyond Pedagogies of Exclusion in Diverse Childhood Contexts

$54.99
Dynamically Coupled Rigid Body-Fluid Flow Systems

Dynamically Coupled Rigid Body-Fluid Flow Systems

$119.99
The New Dimensions of Warfarin Prophylaxis

The New Dimensions of Warfarin Prophylaxis

$54.99
Reducing Pollution from Selected Energy Transformation Sources

Reducing Pollution from Selected Energy Transformation Sources

$109.99
Einfhrung in die Wahrscheinlichkeitstheorie und Statistik

Einfhrung in die Wahrscheinlichkeitstheorie und Statistik

$49.99
Klinische Rntgendiagnostik des Dickdarms und ihre physiologischen Grundlagen

Klinische Rntgendiagnostik des Dickdarms und ihre physiologischen Grundlagen

$59.99
Die Roboter kommen

Die Roboter kommen

$49.99
Mechanisms of Lymphocyte Activation and Immune Regulation VIII

Mechanisms of Lymphocyte Activation and Immune Regulation VIII

$84.99
Gesunder Gu

Gesunder Gu

$44.99
Intelligent Systems for Knowledge Management

Intelligent Systems for Knowledge Management

$129.00
Cut Elimination in Categories

Cut Elimination in Categories

$169.99
Probability and Statistics in the Physical Sciences

Probability and Statistics in the Physical Sciences

$69.99
Clinical Significance of C-reactive Protein

Clinical Significance of C-reactive Protein

$219.99
Raynauds Phenomenon

Raynauds Phenomenon

$89.00
AI Startup Strategy

AI Startup Strategy

$39.99
Implementierungsmanagement

Implementierungsmanagement

$74.99
Kurs in Logischer Programmierung

Kurs in Logischer Programmierung

$59.99
The Second Economy in Marxist States

The Second Economy in Marxist States

$169.99
ber Psychologie und Psychopathologie des Kindes

ber Psychologie und Psychopathologie des Kindes

$44.99
Textbook of  Vascular Medicine

Textbook of Vascular Medicine

$129.99
Kurzschlussstrme in Drehstromnetzen

Kurzschlussstrme in Drehstromnetzen

$39.99
Semiclassical Nonadiabatic Molecular Dynamics

Semiclassical Nonadiabatic Molecular Dynamics

$229.99
Kundenzufriedenheit als Determinante von Mitarbeiterzufriedenheit und -bindung

Kundenzufriedenheit als Determinante von Mitarbeiterzufriedenheit und -bindung

$64.99
previous
next