عنوان
پدید آورنده
موضوع
رده
QA,76.9,.D5,I573,2007
QA
,
76
.
9
,.
D5
,
I573
,
2007
کتابخانه
محل استقرار
(pbk.)
9783540729198
IR
ebook48538
انگلیسی
IR
Formal methods for open object-based distributed systems
[Electronic Resource]
:9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings
/ Marcello M. Bonsangue, Einar Broch Johnsen (eds.)
Berlin ;New York
: Springer,
, c2007.
x, 316 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 4468)
e
Includes bibliographical references and index.
FMOODS 2007
Electronic data processing--Distributed processing--Congresses
Object-oriented programming (Computer science)--Congresses
QA
,
76
.
9
,.
D5
,
I573
,
2007
Bonsangue, Marcello M
Johnsen, Einar Broch
IFIP Working Group 6.1
International Conference on Formal Methods for Open Object-Based Distributed Systems(9th :2007 :Paphos, Cyprus)
ایران
QA,76.9,.D5,I573,2007
9783540729198.pdf
0
0
old catalog
e
BL
1
a
Y
