Formal development of programs and proofs

Formal development of programs and proofs

Dades bibliogràfiques
Altres autors: Dijkstra, Edsger Wybe
Format: Llibre
Idioma:English
Publicat: Reading, Mass. Addison-Wesley c1990.
Matèries:
Electronic digital computers > Programming > Congresses.