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.].
By: FORTE 2001 (2001 : Cheju-do, Korea).
Contributor(s): Kim, Myungchul | ebrary, Inc.
Publisher: New York : Kluwer Academic, c2001Description: xii, 458 p. : ill.Subject(s): Electronic data processing -- Distributed processing -- Congresses | Formal methods (Computer science) -- CongressesGenre/Form: Electronic books. DDC classification: 004.36 Online resources: An electronic book accessible through the World Wide Web; click to viewItem type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
004.36 (Browse shelf) | Available |
Includes bibliographical references and index.
TSLHHL
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.