Mathematical theory of program correctness.

Mathematical theory of program correctness.

Dettagli Bibliografici
Autore principale: de Bakker, Jaco
Natura: Libro
Lingua:English
Pubblicazione: Englewood Cliff, New Jersey Prentice Hall International