Constructive methods in computing science / international summer school directed by F.L. Bauer ... [et al.] /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: NATO Advanced Study Institute on Constructive Methods in Computing Science Marktoberdorf, Germany
Άλλοι συγγραφείς: Broy, M., 1949- (επιμελητής.)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Berlin : Springer-Verlag, 1989.
Σειρά:NATO ASI series. Computer and systems sciences 55.
Θέματα:

ΒΚΠ - Πατρα: Reference Shelf

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Reference Shelf
Ταξιθετικός Αριθμός: Π/Σ 004 NAT
Αντίγραφο 1 Στη βιβλιοθήκη