Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Tests and Proofs

Tests and Proofs

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

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 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
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Die Arbeit des Patentingenieurs

$59.99

I Will Never Not Ever Eat a Tomato

$7.46

Grostadt

$49.99

Fundamentals of Mathematics for Linguistics

$159.99

The Kurdish Struggle, 1920-94

$84.99

Internationale Finanzwirtschaft

$17.99

Business Reframing

$74.99

Mission Atomic

$9.74

Spatial Econometrics

$109.99

Symmetries of Spacetimes and Riemannian Manifolds

$39.99

Musikermedizin in der Physiotherapie und Ergotherapie

$39.99

Neue amerikanische Verkaufs- und Lagerverfahren

$59.99

Learning C# by Programming Games

$54.99

Body MDCT in Animals

$249.99

Models of Phase Transitions

$84.99

Protein and Peptide Analysis by Mass Spectrometry

$129.00

Geography of Order and Chaos in Mechanics

$159.99

Eco-efficient Construction and Building Materials

$169.99

Song in the City

$5.96

The Reticuloendothelial System

$84.99

Psychiatric Nursing Skills

$99.00

Die Koordination betrieblicher Finanzentscheidungen

$59.99

The Logic of Abelard

$54.99

The New York Times Book of Science: More than 150 Years of Groundbreaking Scientific Coverage by New York Times

$24.95

Reverse Social Innovation

$129.99

Sexual Orientation and Transgender Issues in Organizations

$229.00

Behavioral and Psychological Approaches to Breathing Disorders

$169.99

Logical Foundations of Computer Science

$39.99

Biogas ein Taschenbuch fr die Erzeugerpraxis

$69.99

Sanctity of Life and Human Dignity

$219.99

The Heartstopper Yearbook (Hardcover)

$16.49

Information and Communications Security

$54.99

Manual of Sports Surgery

$74.99

Risky Expertise in Chinese Financialisation

$39.99

Hormonal Regulation of Mammary Tumors

$39.99

Kommentar zur (Muster-)Berufsordnung fr die in Deutschland ttigen rztinnen und rzte MBO- 1997

$139.00

Thymic Development and Selection of T Lymphocytes

$109.99

Sexueller Missbrauch und Misshandlungen in der Benediktinerabtei Ettal

$64.99

Gene and Cell Therapies for Beta-Globinopathies

$169.99

Restorative Justice

$24.99