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.

By: Kim, Myungchul
Contributor(s): Chin, Byoungmoon | Kang, Sungwon | Lee, Danhyung | SpringerLink (Online service)
Material type: Computer fileComputer file; Format: electronic Series: IFIP International Federation for Information Processing, 69Publisher: Boston, MA : Kluwer Academic Publishers, 2002Description: v.: digitalISBN: 9780306470035Subject(s): Computer science | Software engineering | Electronic data processing | Computer Science | Computing Methodologies | Processor Architectures | Software Engineering/Programming and Operating Systems | Electronic and Computer EngineeringOnline resources: Texto completo In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
No physical items for this record

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

There are no comments for this item.

to post a comment.

Powered by Koha