عنوان
پدید آورنده
موضوع
رده
QA,76.9,.F67,F53,2005
QA
,
76
.
9
,.
F67
,
F53
,
2005
کتابخانه
محل استقرار
(pbk.)
3540367497
IR
ebook47985
انگلیسی
IR
Formal methods for components and objects
[Electronic Resource]
:4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures
/ Frank S. de Boer ... [et al.] (eds.)
Berlin ;New York
: Springer,
, c2006.
viii, 427 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 4111.State-of-the-art survey)
e
Includes bibliographical references and index.
Lecture notes in computer science
Lecture notes in computer science.State-of-the-art survey
4111
FMCO 2005
Formal methods (Computer science)--Congresses
Component software--Congresses
Object-oriented programming (Computer science)--Congresses
005
.
13
,
1
QA
,
76
.
9
,.
F67
,
F53
,
2005
Boer, Frank S. de
FMCO 2005(2005 :Amsterdam, Netherlands)
ایران
005.13,1
9783540367499.pdf
0
0
old catalog
e
BL
1
a
Y
