FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki.

Por: Colaborador(es): Tipo de material: Archivo de ordenadorArchivo de ordenadorSeries Lecture Notes in Computer Science ; 3582Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.Descripción: v.: digitalISBN:
  • 9783540317142
Tema(s): Clasificación LoC:
  • QA76.76.D47  F58 2005
Recursos en línea: En: Springer eBooks
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Signatura topográfica URL Copia número Estado Notas Código de barras
Libro Electrónico Libro Electrónico Biblioteca Digital Colección Digital QA76.76.D47 F58 2005 (Navegar estantería(Abre debajo)) Enlace al recurso C : 1 Disponible SpringerLink BDIG00009796

No hay comentarios en este titulo.

para colocar un comentario.