Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman.

Por: Colaborador(es): Tipo de material: Archivo de ordenadorArchivo de ordenadorSeries Lecture Notes in Computer Science ; 4949Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Edición: 1a edDescripción: v.: digitalISBN:
  • 9783540789178
Tema(s): Clasificación LoC:
  • QA76.9.F67
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.9.F67 H54 2008 (Navegar estantería(Abre debajo)) Enlace al recurso 1 Disponible SpringerLink BDIG00009821

No hay comentarios en este titulo.

para colocar un comentario.