عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2021
QA
76
.
L28
Vol
.
2021
کتابخانه
محل استقرار
FME 2001 : formal methods for increasing software productivity : ]10th[ International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
10th : 2001 : Berlin, Germany
Berlin
Springer-Verlag
c2001
xiii, 628 p.: ill., tables
Lecture notes in computer science; 1202
Includes bibliographies
ISBN 3540417915
Jose Nuno Oliveira, Pamela Zave )eds.(
1
Congresses ، Computer software -- Development
QA
76
.
L28
Vol
.
2021
AU
AU Oliveira, Jose Nuno
AU Zave, Pamela, 1948-
TI
SE
International Symposium of Formal Methods Europe
