Mathematical theory of program correctness.

Mathematical theory of program correctness.

Xehetasun bibliografikoak
Egile nagusia: de Bakker, Jaco
Formatua: Liburua
Hizkuntza:English
Argitaratua: Englewood Cliff, New Jersey Prentice Hall International