Tests and Proofs

Name: Tests and Proofs
Brand: Springer Nature
SKU: 9783031720444
Availability: InStock

Best Price:
Buy Tests and Proofs for $119.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $119.99 - $119.99

BEST PRICE

Single Product Purchase

$119.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		$119.99	$119.99			$119.99		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783031720444

Condition

New

Product Description

This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software. The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAPs scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.

Available Colors

N/A

Available Sizes

N/A