Description
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Book Details
Format
Paperback
Pages
281 pages
Language
English
Published
Jan 1, 1986
Publisher
Prentice Hall
Editions
2 editions
ISBN-10
0137291469
ISBN-13
9780137291465