Formal development of programs and proofs

Formal development of programs and proofs

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Dijkstra, Edsger Wybe (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Δημοσίευση: Reading, Mass. : Addison-Wesley, c1990.
Σειρά:UT year of programming series
Θέματα:
Computer programming > Programming > Congresses.
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Παρόμοια τεκμήρια