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 /

Guardado en:
Detalles Bibliográficos
Autor principal: Bart Jacobs, Arend Rensink (edición)
Formato: Libro
Idioma:Inglés
Publicado: Nueva York, EUA : Springer, 2002, c2002
Colección:(IFIP Advances in Information and Communication Technology)
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!