عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3582
QA
76
.
L28
Vol
.
3582
کتابخانه
محل استقرار
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
13th : 2005 : Newcastle upon Tyne, England
Berlin
Springer-Verlag
c2005
xiv, 558 p.: ill
Lecture notes in computer science; 2853
"13th International Symposium of Formal Methods Europe"--Pref.
Includes bibliographies
ISBN: 3540278826
John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(
1
Congresses ، Computer software -- Development
Congresses ، Formal methods )Computer science(
Congresses ، System design
QA
76
.
L28
Vol
.
3582
AU
AU Fitzgerald, John, 1965-
AU Hayes, Ian J., 1956-
AU Tarlecki, Andrzej, 1956-
TI
SE
International Symposium of Formal Methods Europe
