عنوان
پدید آورنده
موضوع
رده
QA,76.9,.F67,F67,2007
QA
,
76
.
9
,.
F67
,
F67
,
2007
کتابخانه
محل استقرار
(pbk.)
9783540731955
IR
ebook48559
انگلیسی
IR
Formal techniques for networked and distributed systems
[Electronic Resource]
:FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings
/ John Derrick, Jeuri Vain (eds.)
Berlin ;New York
: Springer,
, c2007.
xi, 373 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 4574)
e
Includes bibliographical references and index.
FORTE 2007
Formal methods (Computer science)--Congresses
Electronic data processing--Distributed processing--Congresses
Computer network protocols--Congresses
004
.
6
,
2
QA
,
76
.
9
,.
F67
,
F67
,
2007
Derrick, John
Vain, Jeuri
IFIP Working Group 6.1
FORTE 2007(2007 :Tallinn, Estonia)
ایران
004.6,2
9783540731955.pdf
0
old catalog
e
BL
1
a
Y
