عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2999
QA
76
.
L28
Vol
.
2999
کتابخانه
محل استقرار
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
4th : 2004 : Canterbury, England
Berlin
Springer-Verlag
c2004
xi, 540 p.: ill., tab
Lecture notes in computer science; 9992
Includes bibliographies
ISBN: 3540213775
Eerke A. Boiten, John Derrick, Graeme Smith )eds.(
1
Congresses ، Formal methods )Computer science(
QA
76
.
L28
Vol
.
2999
AU
AU Boiten, Eerke A., 1966-
AU Derrick, John, 1963-
AU Smith, Graeme, 1966-
TI
SE
International Conference on Integrated Formal Methods
