Shelfclass_id |
3.A |
Sortkey |
VDM |
Authors |
Editors: Søren Prehn, Hans Toetenel |
Title |
VDM 1991 V1: VDM '91: Formal Software Development Methods: 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions |
Publisher |
Springer-Verlag |
Year |
1991 |
Languages |
eng |
Isbn |
0387548343, 3540548343 |
Series |
Lecture Notes in Computer Science |
Volume |
551 |
Issn |
0302-9743 |
Description |
xii, 698 p. ill. 24 cm |
Record date |
20110208 |
Location |
New York |
Keywords |
Computer software, Development, Congresses |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/91033143-d.html |