Formal methods of program verification

other_versions_link
Dettagli Bibliografici
Autore principale: Berg,H.K
Natura: Printed Book
Lingua:English
Pubblicazione: New Jersey Prentice-Hall
Descrizione
Descrizione fisica:ic,207
ISBN:0133288072

Documenti analoghi