Formal development of programs and proofs

Formal development of programs and proofs

Bibliografische gegevens
Andere auteurs: Dijkstra, Edsger Wybe
Formaat: Boek
Taal:English
Gepubliceerd in: Reading, Mass. Addison-Wesley c1990.
Onderwerpen:
Electronic digital computers > Programming > Congresses.