عنوان
پدید آورنده
موضوع
رده
QA,76.9,.D5,I573,2003
QA
,
76
.
9
,.
D5
,
I573
,
2003
کتابخانه
محل استقرار
(alk. paper)
3540204911
IR
ebook28547
انگلیسی
IR
Formal methods for open object-based distributed systems
[Electronic Resource]
:6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
/ Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Berlin ;New York
: Springer-Verlag,
, 2003.
x, 292 p.
: ; 24 cm.
(Lecture notes in computer science
; 2884)
e
Includes bibliographical references and index.
Electronic data processing--Distributed processing--Congresses
Object-oriented programming (Computer science)--Congresses
005
.
13
,
1
QA
,
76
.
9
,.
D5
,
I573
,
2003
Najm, Elie
Nestmann, Uwe
Stevens, Perdita
International Conference on Formal Methods for Open Object-Based Distributed Systems(6th :2003 :Paris, France)
ایران
005.13,1
3540204911.pdf
0
0
0
old catalog
e
BL
1
a
Y
