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
• Θέματα: Λογισμικό εφαρμογών > Ανάπτυξη
• Φυσική περιγραφή: ix, 422 σ. : εικ. ; 24 εκ.
• Βιβλιογραφία: Περιέχει βιβλιογραφικές αναφορές.
• ISBN: 3540176543; 0387176543