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

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Fish, Fishing and Community in North Korea and Neighbours

Fish, Fishing and Community in North Korea and Neighbours

$59.99
Statistics for Chemical and Process Engineers

Statistics for Chemical and Process Engineers

$99.00
Breast Cancer

Breast Cancer

$159.99
Nerves, Muscles, and Electricity: An Introductory Manual of Electrophysiology

Nerves, Muscles, and Electricity: An Introductory Manual of Electrophysiology

$99.99
Risk Tolerance in Financial Decision Making

Risk Tolerance in Financial Decision Making

$84.99
Geometric Properties for Parabolic and Elliptic PDE's

Geometric Properties for Parabolic and Elliptic PDE's

$109.99
Functional Programming Languages in Education

Functional Programming Languages in Education

$39.99
Animal Models of Human Birth Defects

Animal Models of Human Birth Defects

$84.99
Systems Biology of Tumor Dormancy

Systems Biology of Tumor Dormancy

$129.00
Manual of Fast Track Recovery for Colorectal Surgery

Manual of Fast Track Recovery for Colorectal Surgery

$54.99
Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms

Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms

$44.99
St Petersburg and the Russian Court, 1703-1761

St Petersburg and the Russian Court, 1703-1761

$54.99
The Private Sector and Criminal Justice

The Private Sector and Criminal Justice

$169.99
Cell Biological Aspects of Disease

Cell Biological Aspects of Disease

$54.99
Look Up with Me

Look Up with Me

$6.71
SialoGlyco Chemistry and Biology II

SialoGlyco Chemistry and Biology II

$169.00
Exploring Drug Delivery to the Peritoneum

Exploring Drug Delivery to the Peritoneum

$179.99
Short-Period Binary Stars: Observations, Analyses, and Results

Short-Period Binary Stars: Observations, Analyses, and Results

$109.99
Marktorientiertes Informationsmanagement in Dienstleistungsunternehmen

Marktorientiertes Informationsmanagement in Dienstleistungsunternehmen

$59.99
Molecular Aspects of Oxidative Drug Metabolizing Enzymes

Molecular Aspects of Oxidative Drug Metabolizing Enzymes

$84.99
Managing and Engineering in Complex Situations

Managing and Engineering in Complex Situations

$84.99
SOC Functions and Their Applications

SOC Functions and Their Applications

$129.99
Riot, Unrest and Protest on the Global Stage

Riot, Unrest and Protest on the Global Stage

$54.99
Syngenesis and Epigenesis in the Formation of Mineral Deposits

Syngenesis and Epigenesis in the Formation of Mineral Deposits

$84.99
Pheochromocytomas, Paragangliomas and Disorders of the Sympathoadrenal System

Pheochromocytomas, Paragangliomas and Disorders of the Sympathoadrenal System

$39.99
Emotionales Interaktionsdesign

Emotionales Interaktionsdesign

$69.99
Protein Synthesis and Targeting in Yeast

Protein Synthesis and Targeting in Yeast

$84.99
Information Science and Applications (ICISA) 2016

Information Science and Applications (ICISA) 2016

$259.00
ber Muttergttinnen, Mnneransprche und Mdchenkindheiten. Modelle und Materialien zum Ausprobiere

ber Muttergttinnen, Mnneransprche und Mdchenkindheiten. Modelle und Materialien zum Ausprobiere

$29.99
Life Insurance Risk Management Essentials

Life Insurance Risk Management Essentials

$89.00
Forest Governance

Forest Governance

$129.99
Applied Spatial Data Analysis with R

Applied Spatial Data Analysis with R

$69.99
Hot Topics in Infection and Immunity in Children II

Hot Topics in Infection and Immunity in Children II

$169.00
Theoretical Physics 9

Theoretical Physics 9

$109.99
BSABS

BSABS

$69.99
ICT in Education and Implications for the Belt and Road Initiative

ICT in Education and Implications for the Belt and Road Initiative

$109.99
On the Move to Meaningful Internet Systems. OTM 2018 Conferences

On the Move to Meaningful Internet Systems. OTM 2018 Conferences

$54.99
Theologia poetica im 21. Jahrhundert

Theologia poetica im 21. Jahrhundert

$74.99
International Migration and the Future of Populations and Labour in Europe

International Migration and the Future of Populations and Labour in Europe

$109.99
The Path to Building a Successful Nursing Career

The Path to Building a Successful Nursing Career

$59.99
previous
next