Formal methods of program verification

other_versions_link
Bibliografiska uppgifter
Huvudupphovsman: Berg,H.K
Materialtyp: Printed Book
Språk:English
Publicerad: New Jersey Prentice-Hall
Beskrivning
Fysisk beskrivning:ic,207
ISBN:0133288072

Liknande verk