عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1313
QA
76
.
L28
Vol
.
1313
کتابخانه
محل استقرار
FME'97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe 1997 : proceedings
4th: 1997: Graz, Austria
Berlin
Springer-Verlag
c1997
xiii, ]685[ p.: ill
Lecture notes in computer science; 3131
Includes bibliographies
ISBN 3540635335
John Fitzgerald, Cliff B. Jones, Peter Lucas, )eds.(
1
Methodology -- Congresses ، System design
QA
76
.
L28
Vol
.
1313
AU
AU Fitzgerald, John, 1965-
AU Jones, Cliff B., 1944-
AU Lucas, Peter, 1955-
TI
SE
International Symposium of Formal Methods Europe
