VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /
Συλλογικό Έργο: | , |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer,
c1987.
|
Σειρά: | Lecture notes in computer science ;
252 |
Θέματα: |
ΒΚΠ - Πατρα: ALFe
Ταξιθετικός Αριθμός: |
005.1 VDM |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |
Αντίγραφο 2 | Στη βιβλιοθήκη |