Program Construction and Verification

other_versions_link
Bibliografiset tiedot
Päätekijä: Backhouse, Roland C
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Prentice-Hall 1986
Kuvaus
Ulkoasu:281
ISBN:0-13-729153-1

Samankaltaisia teoksia