Imaxe de Portada

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)
Gardado en:
Corporate Authors: FORTE 2001 Cheju-do, Korea, ebrary, Inc
Outros autores: Kim, Myungchul
Formato: Electrónico Conference Proceeding eBook
Idioma:inglés
Publicado: New York : Kluwer Academic, c2001.
Subjects:
Electronic data processing > Distributed processing > Congresses.
Formal methods (Computer science) > Congresses.
Electronic books.
Acceso en liña:An electronic book accessible through the World Wide Web; click to view
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Descrición Física:xii, 458 p. : ill.
Bibliografía:Includes bibliographical references and index.

Títulos similares