VDM'91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991: proceedings
EDITION STATEMENT
Statement of Responsibility Relating to Edition
1991: Noordwijkerhout, Netherlands
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
2v.: ill
Other Physical Details
1
Other Physical Details
2
SERIES
Other Title Information
Lecture notes in computer science; 155-255
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540548343
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY