عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3308
QA
76
.
L28
Vol
.
3308
کتابخانه
محل استقرار
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
6th : 2004 : Seattle, Wash.
Berlin
Springer-Verlag
c2004
xiii, 500 p.: ill
Lecture notes in computer science; 8033
Includes bibliographies
ISBN: 3540238417
Jim Davies, Wolfram Schulte, Mike Barnett )eds.(
1
Congresses ، Formal methods )Computer science(
Congresses ، Software engineering
QA
76
.
L28
Vol
.
3308
AU
AU Davies, Jim, 1964-
AU Schulte, Wolfram
AU Barnett, Mike
TI
SE
International Conference on Formal Engineering Methods
