Imagen de Google Jackets

Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.).

Por: Colaborador(es): Series Lecture notes in computer science ; vol. 4349Detalles de publicación: Berlin ; New York : Springer, c2007.Descripción: xi, 394 p. : il. ; 24 cmISBN:
  • 9783540697350
Tema(s): Recursos en línea:
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Estado Fecha de vencimiento Código de barras Reserva de ítems
Libro Libro FaMAF Sección Lecture Notes C LNCS v. 4349 Disponible 20747
Total de reservas: 0

Incluye referencias bibliográficas e índice.


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)