Formal development of programs and proofs

Formal development of programs and proofs

Détails bibliographiques
Autres auteurs: Dijkstra, Edsger Wybe
Format: Livre
Langue:English
Publié: Reading, Mass. Addison-Wesley c1990.
Sujets:
Electronic digital computers > Programming > Congresses.