Laddar...

Formal methods of program verification

Bibliografiska uppgifter
Huvudupphovsman: Berg,H.K
Materialtyp: Printed Book
Språk:English
Publicerad: New Jersey Prentice-Hall
Search Result 1
Printed Book