Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
Edición: | 1st ed. 2005. |
Colección: | Programming and Software Engineering,
3731 |
Temas: | |
Acceso en línea: | Texto Completo |
Descripción Física: | XII, 558 p. online resource. |
---|---|
ISBN: | 9783540320845 |
ISSN: | 2945-9168 ; |