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:

Θέμα(τα):

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book	Μηχανικών Η/Υ και Πληροφορικής	004.015 1 FOR (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Διαθέσιμο

Περιέχει βιβλιογραφικές αναφορές

Κοινοποίηση