Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 531Λεπτομέρειες δημοσίευσης: berlin Springer-Verlag c1991Περιγραφή: xiii,372p. figISBN:- 3 540 54477 1
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Μηχανικών Η/Υ και Πληροφορικής | 005.14 (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο |
includes bibl. references