Formal development of programs and proofs

Formal development of programs and proofs

Bibliografiske detaljer
Andre forfattere: Dijkstra, Edsger Wybe
Format: Bog
Sprog:English
Udgivet: Reading, Mass. Addison-Wesley c1990.
Fag:
Electronic digital computers > Programming > Congresses.