Program Construction and Verification

Construction

by Roland C. Backhouse

Paperback

ISBN: 978-0-13-729146-5

ISBN-10: 0-13-729146-9

Prentice Hall · 1986

See also:
1986HardcoverProgram construction and verification