Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Θέμα(τα):Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Μηχανικών Η/Υ και Πληροφορικής | 1 | Διαθέσιμο |