Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by Aarti Gupta, Sharad Malik.

Por: Colaborador(es): Tipo de material: Archivo de ordenadorArchivo de ordenadorSeries Lecture Notes in Computer Science ; 5123Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Descripción: v.: digitalISBN:
  • 9783540705451
Tema(s): Clasificación LoC:
  • QA76.76.V47 G37 2008
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.V47 G87 2008 (Navegar estantería(Abre debajo)) Enlace al recurso 1 Disponible Springerlink BDIG00008742

No hay comentarios en este titulo.

para colocar un comentario.