عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.551-552
QA
76
.
L28
Vol
.
551-552
کتابخانه
محل استقرار
VDM'91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991: proceedings
1991: Noordwijkerhout, Netherlands
Berlin
Springer-Verlag
c1991
2v.: ill
1
2
Lecture notes in computer science; 155-255
Includes bibliographies
ISBN: 3540548343
S. Prehn, W.J. Toetenel )eds.(
1
1
V.1. Conference contributions -- V.2. Tutorials
Congresses ، Computer software -- Development
QA
76
.
L28
Vol
.
551-552
CA
QA
76
.
76
.
D47V854
1991
AU
AU Prehn, Soren, 1955-
AU Toetenel, W. J., 1953-
CO VDM-Europe
TI
SE
VDM )Symposium(
