Formal development of programs and proofs

Formal development of programs and proofs

Manylion Llyfryddiaeth
Awduron Eraill: Dijkstra, Edsger Wybe
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: Reading, Mass. Addison-Wesley c1990.
Pynciau:
Electronic digital computers > Programming > Congresses.