Formal development of programs and proofs

Formal development of programs and proofs

Bibliografske podrobnosti
Drugi avtorji: Dijkstra, Edsger Wybe
Format: Knjiga
Jezik:English
Izdano: Reading, Mass. Addison-Wesley c1990.
Teme:
Electronic digital computers > Programming > Congresses.