Skip to content
Home/ Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taip
Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taip

Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taip

No customer reviews yet ISBN 9783540236108

About the author

Product details

Pub dateOct 19, 2004
ISBN-103540236104
ISBN-139783540236108
LanguageEnglish
Last updated 2026-09-08 20:05
$114.64
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