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

This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022. The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Security, Privacy, and Anonymity in Computation, Communication, and Storage

Security, Privacy, and Anonymity in Computation, Communication, and Storage

$74.99
Meaning and the Growth of Understanding

Meaning and the Growth of Understanding

$39.99
Towards Competition in Network Industries

Towards Competition in Network Industries

$84.99
The Science and Business of Drug Discovery

The Science and Business of Drug Discovery

$129.00
Anschlsse an Kupferrohre  Herstellung und Automatisierungsmglichkeit

Anschlsse an Kupferrohre Herstellung und Automatisierungsmglichkeit

$69.99
Untersuchungen ber die Natrlichen und Knstlichen Kautschukarten

Untersuchungen ber die Natrlichen und Knstlichen Kautschukarten

$59.99
Informatik kompakt

Informatik kompakt

$34.99
Computational Red Teaming

Computational Red Teaming

$109.99
Leveraging the Power of Servant Leadership

Leveraging the Power of Servant Leadership

$139.99
Chill of the Ice Dragon: A Branches Book (Dragon Masters #9)

Chill of the Ice Dragon: A Branches Book (Dragon Masters #9)

$4.49
New Perspectives of Profit Smoothing

New Perspectives of Profit Smoothing

$109.99
Numerical Mathematics

Numerical Mathematics

$54.99
Transportation for the Poor

Transportation for the Poor

$39.99
Ntzliche und schne Geometrie

Ntzliche und schne Geometrie

$19.99
Perspectives in Powder Metallurgy Fundamentals, Methods, and Applications

Perspectives in Powder Metallurgy Fundamentals, Methods, and Applications

$109.00
Intelligent Interactive Systems in Knowledge-Based Environments

Intelligent Interactive Systems in Knowledge-Based Environments

$109.99
Post-Soviet Literature and the Search for a Russian Identity

Post-Soviet Literature and the Search for a Russian Identity

$119.99
Hormon- und Fertilittsstrungen in der Gynkologie

Hormon- und Fertilittsstrungen in der Gynkologie

$59.99
Handbook of Materials for Wind Musical Instruments

Handbook of Materials for Wind Musical Instruments

$249.99
Praktische Baustatik

Praktische Baustatik

$64.99
Philosophy and the Politics of Animal Liberation

Philosophy and the Politics of Animal Liberation

$109.99
Theoretical Inorganic Chemistry II

Theoretical Inorganic Chemistry II

$84.99
Immobilized Enzymes in Medicine

Immobilized Enzymes in Medicine

$129.00
Social Media Marketing and Customer-Based Brand Equity for Higher Educational Institutions

Social Media Marketing and Customer-Based Brand Equity for Higher Educational Institutions

$109.99
Neurotrophic Factors

Neurotrophic Factors

$89.00
Annual Update in Intensive Care and Emergency Medicine 2022

Annual Update in Intensive Care and Emergency Medicine 2022

$129.99
Guide to Psychological Assessment with Asians

Guide to Psychological Assessment with Asians

$54.99
Organizational Learning and Technological Change

Organizational Learning and Technological Change

$84.99
Gender-Based Violence in South-East Asia

Gender-Based Violence in South-East Asia

$99.00
Renewable Energy

Renewable Energy

$49.99
Modernism and the Practice of Proletarian Literature

Modernism and the Practice of Proletarian Literature

$39.99
Media and Feminist Protest in Iran

Media and Feminist Protest in Iran

$99.00
Arbeitsbuch Mikrokonomische Theorie

Arbeitsbuch Mikrokonomische Theorie

$69.99
Kundenbindungsstrategien fr Business-to-Consumer-Mrkte

Kundenbindungsstrategien fr Business-to-Consumer-Mrkte

$99.00
The Reformation of the Dead

The Reformation of the Dead

$109.99
Spezialitten und Geheimmittel

Spezialitten und Geheimmittel

$49.99
Philosophische Grundlagen der Biologie

Philosophische Grundlagen der Biologie

$159.99
Brain Tumors

Brain Tumors

$169.00
Henry Home, Lord Kames, and the Scottish Enlightenment: A Study in National Character and in the His

Henry Home, Lord Kames, and the Scottish Enlightenment: A Study in National Character and in the His

$54.99
Currency Areas

Currency Areas

$39.99
previous
next