Mathematical theory of program correctness.

Mathematical theory of program correctness.

Detalles Bibliográficos
Autor principal: de Bakker, Jaco
Formato: Libro
Lenguaje:English
Publicado: Englewood Cliff, New Jersey Prentice Hall International