VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
著者
書誌事項
VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
（Lecture notes in computer science, 551,
Springer-Verlag, c1991
- v. 1 : gw
- v. 1 : us
- v. 2 : gw
- v. 2 : us
大学図書館所蔵 全52件
-
v. 1 : Berlin007||L49||551000171710,
v. 2 : Berlin007||L49||552000171744, v. 1 : gw007||L49||55100017171, v. 2 : gw007||L49||55200017174
注記
v. 1. Conference contributions
v. 2. Tutorials
Includes bibliographical references and index