VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο: VDM '87 Brussels, Belgium, VDM-Europe
Άλλοι συγγραφείς: Bjørner, D. (Dines), 1937- (επιμελητής)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer, c1987.
Σειρά:Lecture notes in computer science ; 252
Θέματα:

ΒΚΠ - Πατρα: ALFe

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFe
Ταξιθετικός Αριθμός: 005.1 VDM
Αντίγραφο 1 Στη βιβλιοθήκη
Αντίγραφο 2 Στη βιβλιοθήκη