Cover Image

VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /

Bibliographic Details
Corporate Author: VDM (Symposium) Noordwijkerhout, Netherlands)
Other Authors: Prehn, S. (Søren), 1955-, Toetenel, W. J., 1953-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1991]
Series:Lecture notes in computer science ; 551-552.
Subjects:
Computer software > Development > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.D47 V36 1991
Library Owns: QA76.76.D47 V36 1991 (v.1-v.2)
Call Number Status Get It
QA76.76.D47 V36 1991 v.1 Available
QA76.76.D47 V36 1991 v.2 Available