عنوان
پدید آورنده
موضوع
رده
QA76.76 .D47,V36 1991
QA76
.
76
.
D47
,
V36
1991
کتابخانه
محل استقرار
3540548343
0387548343
3540548688
0387548688
IR
EB18719
انگلیسی
IR
VDM '91
[Electronic Resource]
:formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
/ S. Prehn, W.J. Toetenel (eds.)
Berlin ; New York
: Springer-Verlag,
, c1991.
2 v.
:ill. 24 cm.
(Lecture notes in computer science
; 551-552)
e
ng
Includes bibliographical references and index.
v. 1. Conference contributions -- v. 2. Tutorials.
Computer software- Development- Congresses
005
.
1
QA76
.
76
.
D47
,
V36
1991
VDM '91(1991 :Noordwijkerhout, Netherlands)
Prehn, S.(Soren),1955-
Toetenel, W. J.,1953-
VDM-Europe
ایران
0333992814.pdf
محرمانه
محرمانه
0333992814.pdf
0
متن
old catalog
e
BL
1
a
Y
