서브메뉴
검색
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.].
![Formal techniques for networked and distributed systems - [electronic resource] : FORTE 20...](/Sponge/Images/bookDefaults/NNbookdefaultsmall.png)
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.].
Detailed Information
- Material Type
- 비도서
- ISBN
- 0306470039 (electronic bk.)
- LC Callnumber
- QA75.5-.I68 2001eb
- DDC
- 004.36-21
- 회의명
- International Conference on Formal Techniques for Networked and Distributed Systems. (21st , 2001 . Cheju Island, Korea)
- Title/Author
- 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.].
- Publish Info
- New York : Kluwer Academic Publishers, c2002.
- Material Info
- xii, 458 p. : ill. ; 24 cm.
- 서지주기
- Includes bibliographical references and index.
- Reproduction Note
- Electronic reproduction. . Boulder, Colo. : NetLibrary, 2002. Available via World Wide Web. Access may be limited to NetLibrary affiliated libraries.
- Subject Added Entry-Topical Term
- Electronic data processing Distributed processing Congresses. Formal methods (Computer science) Congresses.
- Added Entry-Personal Name
- Kim, Myungchul.
- Added Entry-Corporate Name
- NetLibrary, Inc.
- Additional Physical Form Entry
- . Original. 0792374703
- Electronic Location and Access
- . Original. 0792374703
- Control Number
- gtec:44805
MARC
008020715s2002 nyua s 101 0 eng d■003 OCoLC
■020 ▼a0306470039 (electronic bk.)
■040 ▼aN▼T▼cN▼T▼dOCLCQ
■05014▼aQA75.5▼b.I68 2001eb
■08204▼a004.36▼221
■090 ▼a ▼b
■1112 ▼aInternational Conference on Formal Techniques for Networked and Distributed Systems▼n(21st ▼d2001 ▼cCheju Island, Korea)
■24510▼aFormal techniques for networked and distributed systems▼h[electronic resource]▼bFORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea ▼cedited by Myungchul Kim ... [et al.].
■260 ▼aNew York ▼bKluwer Academic Publishers▼cc2002.
■300 ▼axii, 458 p. ▼bill. ▼c24 cm.
■504 ▼aIncludes bibliographical references and index.
■533 ▼aElectronic reproduction.▼bBoulder, Colo. ▼cNetLibrary▼d2002.▼nAvailable via World Wide Web.▼nAccess may be limited to NetLibrary affiliated libraries.
■6500 ▼aElectronic data processing▼xDistributed processing▼vCongresses.▼aFormal methods (Computer science)▼vCongresses.
■6557 ▼aElectronic books.▼2local
■7001 ▼aKim, Myungchul.
■7102 ▼aNetLibrary, Inc.
■7761 ▼cOriginal▼z0792374703
■8564 ▼3Bibliographic record display▼uhttp://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=69615▼zAn electronic book accessible through the World Wide Web;click for information
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Book Loan Request Service
- My Folder
