Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985
Τύπος υλικού:
ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Association for Computing Machinery c1985Περιγραφή: vi, 136p. figISBN: - 0899711717
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|---|
| Μηχανικών Η/Υ και Πληροφορικής | 005.1 (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο |
περιέχει βιβλιογραφία
