Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
- 0899711717
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Μηχανικών Η/Υ και Πληροφορικής | 005.1 (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο |
Browsing Μηχανικών Η/Υ και Πληροφορικής shelves Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
περιέχει βιβλιογραφία