Formal 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

상세정보

자료유형	단행본
서명/저자사항	Formal 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.].
개인저자	Kim, Myungchul.
단체저자명	NetLibrary, Inc.
발행사항	New York: Kluwer Academic Publishers, c2002.
형태사항	1 online resource (xii, 458 p.) : ill. ; 24 cm.
ISBN	0306470039 (electronic bk.)
서지주기	Includes bibliographical references and index.
복제주기	Electronic reproduction. Boulder, Colo. : NetLibrary, 2002. Available via World Wide Web. Access may be limited to NetLibrary affiliated libraries.
회의명	FORTE 2001 (2001 : Cheju-do, Korea)
일반주제명	Electronic data processing --Distributed processing --Congresses. Formal methods (Computer science) --Congresses.
분류기호(DDC)	004.36
언어	영어
바로가기	: An electronic book accessible through the World Wide Web; click for information