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

• Corporate Authors: VDM '87 Brussels, Belgium, VDM-Europe
• Other Authors: Bjørner, D. (Dines), 1937- (επιμελητής)
• Format: Conference Proceeding Book
• Language: English
• Published: Berlin ; New York : Springer, c1987.
• Series: Lecture notes in computer science ; 252
• Subjects: Λογισμικό εφαρμογών > Ανάπτυξη
• Physical Description: ix, 422 σ. : εικ. ; 24 εκ.
• Bibliography: Περιέχει βιβλιογραφικές αναφορές.
• ISBN: 3540176543; 0387176543