Gorrieri, Roberto.

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings [Recurso electrónico] / edited by Roberto Gorrieri, Heike Wehrheim. - Berlin Heidelberg : Springer-Verlag GmbH., 2006 - v.: digital - Lecture Notes in Computer Science, 4037 0302-9743 ; .

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web


Computer Communication Networks
Computer science
Computer science
Logic design
Operating systems (Computers)
Software engineering
Computer Science
Computer Communication Networks
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering

Powered by Koha