RecordNumber
27631
Author
^aInternational symposium of VDM Europe, 4th, Noordwijkerhout, 1991
Title
VDM, 91 formal software development methods
Editor
S. Prehn ¶ W.J. Toetemel (ed) Proceedings of...
Publication
Springer
Collation
v...: ill
Series
Lecture notes in computer science; 551
Contents
v1. Conference Contributions.-v.2 Tutorials
Subject
Computer software
ADDED ENTRIES
Prehn, S. ed , Vienna Development Method
Main Class
005
Sub Class
.1
Cutter no
I61v
Date
1991
وارد كنندة اطلاعات
fazel^d//