Unifying Theories of Programming > Editions
by C.A.R. Hoare
Published April 22nd 1998
by Pearson College Div
Hardcover, 320 pages
Published January 1st 1998
by Prentice Hall
Paperback, 0 pages