Formal Methods for Open Object-Based Distributed Systems V IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20.22, 2002, Enschede, The Netherlands Bart Jacobs, Arend Rensink creator (edición) text monographic ING 1 libro electrónico en línea (XII, 284 p.) 1 recurso en línea Licencias ilimitadas Catalogación rápida XX Libro en línea (IFIP Advances in Information and Communication Technology) 978-0-387-35496-5 1868-422X Acervo ITESO - Biblioteca https://link-springer-com.ezproxy.iteso.mx/10.1007/978-0-387-35496-5 Licencias ilimitadas 000597972