عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3657
QA
76
.
L28
Vol
.
3657
کتابخانه
محل استقرار
Formal methods for components and objects : third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures
2004 : Leiden, Netherlands
Berlin
Springer-Verlag
c2005
viii, 323 p.: ill
Lecture notes in computer science; 7563
Includes bibliographies
ISBN: 3540291318
Frank S. de Boer... ]et al.[ )eds.(
1
Congresses ، Formal methods )Computer science(
Congresses ، Component software
Congresses ، Object-oriented programming )Computer science(
QA
76
.
L28
Vol
.
3657
NO
AU
AU Boer, Frank S. de.
TI
SE
FMCO
