Cover Image

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)
Bibliographic Details
Corporate Author: FORTE 2001 Cheju-do, Korea
Other Authors: Kim, Myungchul
Format: Conference Proceeding Book
Language:English
Published: Boston : London : Kluwer Academic Publishers, [2001]
Subjects:
Electronic data processing > Distributed processing > Congresses.
Formal methods (Computer science) > Congresses.
Description
Physical Description:xii, 458 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:0792374703