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!
Description
Physical Description:xii, 458 p. : ill.
Bibliography:Includes bibliographical references and index.

Similar Items