Program construction and verification

verification

by Roland C Backhouse

Hardcover

ISBN: 978-0-13-729153-3

ISBN-10: 0-13-729153-1

Prentice-Hall International · 1986

See also:
1986PaperbackProgram Construction and Verification