Program Construction and Verification

other_versions_link
Dettagli Bibliografici
Autore principale: Backhouse, Roland C
Natura: Printed Book
Lingua:English
Pubblicazione: Prentice-Hall 1986
Descrizione
Descrizione fisica:281
ISBN:0-13-729153-1

Documenti analoghi