عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2335
QA
76
.
L28
Vol
.
2335
کتابخانه
محل استقرار
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
3rd : 2002 : Turku, Finland
Berlin
Springer-Verlag
c2002
x, 399 p.: ill
Lecture notes in computer science; 5332
Includes bibliographies
ISBN: 3540437037
Michael Butler, Luigia Petre, Kaisa Sere, )eds.(
1
Congresses ، Formal methods )Computer science(
QA
76
.
L28
Vol
.
2335
AU
AU Butler, Michael, 1967-
AU Petre, Luigia, 1974-
AU Sere, Kaisa, 1954-
TI
SE
International Conference on Integrated Formal Methods
