Kim, Myungchul.

Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 â€st International Conference on Formal Techniques for Networked and Distributed Systems August 28†2001, Cheju Island, Korea / [Recurso electrónico] : edited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee. - Boston, MA : Kluwer Academic Publishers, 2002. - v.: digital - IFIP International Federation for Information Processing, 69 1571-5736 ; .

Restringido a usuarios de la UCA


Modo de acceso: World Wide Web

9780306470035


Computer science
Software engineering
Electronic data processing
Computer Science
Computing Methodologies
Processor Architectures
Software Engineering/Programming and Operating Systems
Electronic and Computer Engineering

Powered by Koha