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.].
Publication details: New York : Kluwer Academic, c2001.Description: xii, 458 p. : illSubject(s): Genre/Form: DDC classification:- 004.36 21
- QA76.9.F67 I579 2001eb
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Shelf location | Call number | Materials specified | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| E-Book | Taylor's Library-TU | 004.36 (Browse shelf(Opens below)) | e-book |
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.