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

$111.66

Quantity

20 in stock

More Information

Format: paperback
Publisher: Springer
ISBN 10: 1447175573
ISBN 13: 9781447175575
Expected Release Date: 24 Jan 2026