Program Construction and Verification > Editions
by Roland Backhouse First published June 1986
Published 1986
by Prentice-Hall International
Hardcover, 281 pages
Published January 1st 1986
by Prentice Hall
Paperback, 281 pages
Published
by Prentice Hall
Hardcover, 0 pages



