TEST - Catálogo BURRF		    

Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. por
  • Sharygina, Natasha [editor.]
  • Veith, Helmut [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8044
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Validation of evolving software / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. por
  • Chockler, Hana [editor.]
  • Kroening, Daniel [editor.]
  • Mariani, Leonardo [editor.]
  • Sharygina, Natasha [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2015
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha