Program Construction and Verification
by
Roland C. Backhouse
Paperback
details (
USA
).
ISBN: 978-0-13-729146-5
ISBN-10: 0-13-729146-9
Prentice Hall
· 1986
See also:
1986
Hardcover
Program construction and verification