Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings /

Guardado en:
Detalles Bibliográficos
Autor principal: Holger Giese, Grigore Rosu (edición)
Formato: Libro
Idioma:Inglés
Publicado: Berlín, Alemania : Springer, 2012, c2012
Colección:(Lecture Notes in Computer Science)
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 (XIII, 269 p.)
1 recurso en línea
ISBN:978-3-642-30793-5
ISSN:1611-3349
Acceso:Licencias ilimitadas