Formal Techniques for Networked and Distributed Systems [Recurso electrónico] : FORTE 2001 IFIP TC6/WG6.1 â€{u0CB1}st International Conference on Formal Techniques for Networked and Distributed Systems August 28â€{u3C6C} 2001, Cheju Island, Korea / edited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee.
Tipo de material: Archivo de ordenadorSeries IFIP International Federation for Information Processing, 1571-5736 ; ; 69Detalles de publicación: Boston, MA : Kluwer Academic Publishers, 2002. Descripción: v.: digitalISBN: 9780306470035Tema(s): Computer science | Software engineering | Electronic data processing | Computer Science | Computing Methodologies | Processor Architectures | Software Engineering/Programming and Operating Systems | Electronic and Computer EngineeringRecursos en línea: Texto completo Forma de acceso: Restringido a usuarios de la UCA En: Springer eBooksNo hay ítems correspondientes a este registro
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
No hay comentarios en este titulo.