Formal development of programs and proofs

Formal development of programs and proofs

Podrobná bibliografie
Další autoři: Dijkstra, Edsger Wybe
Médium: Kniha
Jazyk:English
Vydáno: Reading, Mass. Addison-Wesley c1990.
Témata:
Electronic digital computers > Programming > Congresses.