Skip to content
Home/ Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Ta
Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Ta

Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, Ta

No customer reviews yet ISBN 9783032227485

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.

About the author

Product details

Pub dateApr 16, 2026
ISBN-103032227488
ISBN-139783032227485
LanguageEnglish
Last updated 2026-04-24 05:57
$52.27
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Computer Science
See all
Collins International Primary Computing: Student's Book Stage 2
Gardner Tracy
$12.08
Collins International Primary Computing: Student's Book Stage 4
Gardner Tracy
$12.08
Collins International Primary Computing Workbook Stage 2
Gardner Tracy
$12.08
Collins International Primary Computing Teacher's Guide: Stage 2
Gardner Tracy
$55.74
Collins International Primary Computing Teacher's Guide: Stage 4
Gardner Tracy
$55.74
Collins International Lower Secondary Computing Teacher's Guide: Stage 8
Sach, Laura
$104.25