Opis
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Szczegóły książki
Format
Miękka okładka
Strony
281 stron
Język
Angielski
Opublikowany
sty 1, 1986
Wydawca
Prentice Hall
Wydania
Wydania: 2
ISBN-10
0137291469
ISBN-13
9780137291465