Program Construction and Verification

other_versions_link
Bibliografiska uppgifter
Huvudupphovsman: Backhouse, Roland C
Materialtyp: Printed Book
Språk:English
Publicerad: Prentice-Hall 1986
Beskrivning
Fysisk beskrivning:281
ISBN:0-13-729153-1

Liknande verk