Cover Image

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

Bibliographic Details
Corporate Author: VDM-Europe
Other Authors: Bjrner, D. (Dines), 1937-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1987]
Series:Lecture notes in computer science ; 252.
Subjects:
Computer software > Development > Congresses.
Computer software industry > European Economic Community countries > Congresses.
Description
Physical Description:ix, 422 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographies.
ISBN:0387176543 (U.S. : pbk.)