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

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

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

Biomechanics of the Brain

$169.99

Peptides

$429.00

Die Vermessung des Datenuniversums

$34.99

Biomechanics

$39.99

Umsatz, Kosten, Spannen und Gewinn des Einzelhandels in der Bundesrepublik Deutschland in den Jahren

$59.99

Work Beyond the Pandemic

$179.99

Childrens Emotions and Moods

$39.99

Alfred Tarski

$84.99

Ttigkeit - Aneignung - Bildung

$69.99

Mechanical Ventilation Amid the COVID-19 Pandemic

$109.99

Digital Leadership im Tourismus

$89.99

Mechanical Behaviour of Materials at High Temperature

$329.99

Praxisbuch Kontrastmittelsonografie

$89.99

Haut und Psyche

$49.99

Romantische kologien

$89.99

Technischer Fortschritt und Wachstumsprobleme der Textilindustrie

$59.99

Mac B, Kid Spy: Mac Undercover

$5.21

Financial Deregulation

$129.00

The Classification of Finite Simple Groups

$129.00

Toxicology of Herbal Products

$219.99

The Wild World of Buck Bray: The Missing Grizzly Cubs

$5.21

Cultivating Genius: An Equity Framework

$26.99

Nanostructured Materials for Next-Generation Energy Storage and Conversion

$249.99

Surgical Management of Elderly Patients

$119.00

Lautbildungsschwierigkeit im Deutschen

$49.99

Residue Reviews

$39.99

The Puppy Place: Trixie

$4.49

Hydrologie und Wasserwirtschaft

$139.99

Standort Singapur

$49.99

Social Mentality in Contemporary China

$109.99

Modellierung und Simulation im Umweltbereich

$29.99

The Family Trichodoridae: Stubby Root and Virus Vector Nematodes

$219.99

Magnitude and Delay Approximation of 1-D and 2-D Digital Filters

$54.99

Leading with Emotional Intelligence

$159.99

Fuzzy-Clusteranalyse

$44.99

Omics Technologies for Sustainable Agriculture and Global Food Security (Vol II)

$129.00

Schmerz interdisziplinre Perspektiven

$59.99

Optical Networks and Technologies

$129.00

Varieties of Self-Awareness

$139.99

Future of Worker Representation

$109.99