0306470039 (electronic bk.)
IR
EN-52919
انگلیسی
IR
Formal techniques for networked and distributed systems
[Book]
:FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
/ edited by Myungchul Kim ... [et al.]
New York
: Kluwer Academic Publishers,
, c2002.
xii, 458 p. , ill. , 24 cm.
Electronic
Includes bibliographical references and index.
Electronic data processing , Distributed processing , Congresses
Formal methods (Computer science) , Congresses
Electronic books. , local
E-BOOK
FORTE 2001 (2001 : Cheju-do, Korea)
Kim, Myungchul
NetLibrary, Inc
ایران
0306470039.pdf
عادی
عادی
0306470039.pdf
متن
old catalog
e
BL
1
a
Y
