Formal development of programs and proofs

Formal development of programs and proofs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Dijkstra, Edsger Wybe
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Reading, Mass. Addison-Wesley c1990.
Θέματα:
Electronic digital computers > Programming > Congresses.