Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /

Show other versions (1)
Saved in:
Bibliographic Details
Corporate Authors: FORTE 2001 Cheju-do, Korea, ebrary, Inc
Other Authors: Kim, Myungchul
Format: Electronic Conference Proceeding eBook
Language:English
Published: New York : Kluwer Academic, c2001.
Subjects:
Electronic data processing > Distributed processing > Congresses.
Formal methods (Computer science) > Congresses.
Electronic books.
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000Ia 4500
001 0000070510
005 20171002053512.0
006 m u
007 cr cn|||||||||
008 010905s2001 nyua sb 101 0 eng d
015 |a GBA1-51008 
020 |z 0792374703 
035 |a (CaPaEBR)ebr10052659 
035 |a (OCoLC)70773478 
040 |a CaPaEBR  |c CaPaEBR 
050 1 4 |a QA76.9.F67  |b I579 2001eb 
082 0 4 |a 004.36  |2 21 
111 2 |a FORTE 2001  |d (2001 :  |c Cheju-do, Korea) 
245 1 0 |a Formal techniques for networked and distributed systems  |h [electronic resource] :  |b FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /  |c edited by Myungchul Kim ... [et al.]. 
260 |a New York :  |b Kluwer Academic,  |c c2001. 
300 |a xii, 458 p. :  |b ill. 
504 |a Includes bibliographical references and index. 
533 |a Electronic reproduction.  |b Palo Alto, Calif. :  |c ebrary,  |d 2009.  |n Available via World Wide Web.  |n Access may be limited to ebrary affiliated libraries. 
650 0 |a Electronic data processing  |x Distributed processing  |v Congresses. 
650 0 |a Formal methods (Computer science)  |v Congresses. 
655 7 |a Electronic books.  |2 local 
700 1 |a Kim, Myungchul. 
710 2 |a ebrary, Inc. 
856 4 0 |u http://site.ebrary.com/lib/daystar/Doc?id=10052659  |z An electronic book accessible through the World Wide Web; click to view 
908 |a 170314 
942 0 0 |c EB 
999 |c 59668  |d 59668 

Similar Items