Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

by N/A

$110.77

Quantity

20 in stock

More Information

Format: paperback
Publisher: Springer
ISBN 10: 1447175573
ISBN 13: 9781447175575
Expected Release Date: 09 Mar 2026