عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 F53 2002
QA76
.
9
.
F67
F53
2002
کتابخانه
محل استقرار
3540203036 (alk. paper)
b513042
Formal methods for components and objects :
[Book]
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
Frank S. de Boer ... [et al.] (eds.)
New York :
Springer-Verlag,
2003
0311
viii, 507 p. :
ill. ;
24 cm
Lecture notes in computer science ;
2852
Includes bibliographical references and index
Component software, Congresses
Formal methods (Computer science), Congresses
Object-oriented programming (Computer science), Congresses
QA
005
.
3
22
QA76
.
9
.
F67
F53
2002
Boer, Frank S. de
FMCO 2002(2002 :, Leiden, Netherlands)
20031112173551.0
مطالعه متن کتاب [Book]
Y
