Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985
Τύπος υλικού: ΚείμενοΣειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 186Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985Περιγραφή: xiv, 455p. figISBN:- 3540151990
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book | Μηχανικών Η/Υ και Πληροφορικής | 004.015 1 FOR (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο |
Browsing Μηχανικών Η/Υ και Πληροφορικής shelves Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | ||||||||
004 TAN Structured computer organization | 004 WIN Understanding computers and cognition | 004 ΜΑΝ Ψηφιακή σχεδίαση | 004.015 1 FOR Formal Methods and Software Development | 004.015 113 SCH Gems of theoretical computer science / | 004.015 118 ESA Algorithms - ESA '95 : | 004.015 118 ESA Algorithms - ESA '95 : |
Περιέχει βιβλιογραφικές αναφορές