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 / [electronic resource] : edited by Myungchul Kim ... [et al.]. - New York : Kluwer Academic, c2001. - xii, 458 p. : ill.

Includes bibliographical references and index.


Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.



GBA1-51008


Electronic data processing--Distributed processing--Congresses.
Formal methods (Computer science)--Congresses.


Electronic books.

QA76.9.F67 / I579 2001

004.36