Formal development of programs and proofs

Formal development of programs and proofs

Dettagli Bibliografici
Altri autori: Dijkstra, Edsger Wybe
Natura: Libro
Lingua:English
Pubblicazione: Reading, Mass. Addison-Wesley c1990.
Soggetti:
Electronic digital computers > Programming > Congresses.