عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.670
QA
76
.
L28
Vol
.
670
کتابخانه
محل استقرار
FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 proceedings
1st: 1993: Odense, Denmark
Berlin
Springer-Verlag
c1993
xi, 689p.: ill., tables
Lecture notes in computer science; 076
Includes bibliographies
ISBN: 3540566627
J.C.P. Woodcock, P.G. Larsen )eds.(
1
Congresses ، Computer software -- Development
QA
76
.
L28
Vol
.
670
AU
AU Woodcock, James C. P.
AU Larsen, Peter Gorm, 1964-
TI
SE
International Symposium of Formal Methods Europe
