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

by José Bacelar Bacelar Almeida

Paperback

details (UK).
(see also: eBook (Kindle))

details (USA).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-0-85729-017-5

ISBN-10: 0-85729-017-7

Springer · 2011