Mathematical theory of program correctness.

Mathematical theory of program correctness.

Bibliografiska uppgifter
Huvudupphovsman: de Bakker, Jaco
Materialtyp: Bok
Språk:English
Publicerad: Englewood Cliff, New Jersey Prentice Hall International