Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6.8, 2000, Stanford, California, USA /

Guardado en:
Detalles Bibliográficos
Autor principal: Scott F. Smith, Carolyn L. Talcott (edición)
Formato: Libro
Idioma:Inglés
Publicado: Nueva York, EUA : Springer, 2000, c2000
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!
Descripción
Descripción física:1 libro electrónico en línea (XIV, 422 p.)
1 recurso en línea
ISBN:978-0-387-35520-7
ISSN:1868-422X
Acceso:Licencias ilimitadas