Formal development of programs and proofs

Formal development of programs and proofs

Xehetasun bibliografikoak
Beste egile batzuk: Dijkstra, Edsger Wybe
Formatua: Liburua
Hizkuntza:English
Argitaratua: Reading, Mass. Addison-Wesley c1990.
Gaiak:
Electronic digital computers > Programming > Congresses.