Formal Techniques for Networked and Distributed Systems – FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / edited by John Derrick, Jüri Vain.
Tipo de material:
Archivo de ordenadorSeries Lecture Notes in Computer Science ; 4574Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Descripción: v.: digitalISBN: - 9783540731962
- QA76.9.F67 D47 2007
| Tipo de ítem | Biblioteca actual | Signatura topográfica | URL | Copia número | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|---|---|
Libro Electrónico
|
Biblioteca Digital Colección Digital | QA76.9.F67 D47 2007 (Navegar estantería(Abre debajo)) | Enlace al recurso | 1 | Disponible | SpringerLink | BDIG00009838 |
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.