Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorInternational Conference on Formal Techniques for Networked and Distributed Systems (21st, 2001 : Cheju Island, Korea)
TitleFormal techniques for networked and distributed systems [electronic resource] : 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.]
Imprint Boston : Kluwer Academic Publishers, 2002
Connect tohttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-7923-7470-1
Descript xii, 458 p. : ill. ; 24 cm

Formal methods (Computer science) -- Congresses Electronic data processing -- Distributed processing -- Congresses Computer network protocols -- Congresses



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram