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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.D5 I585 2001
 
Call Number Status Get It
QA76.9.D5 I585 2001 Available