TEST - Catálogo BURRF		    

Su búsqueda retornó 6 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Computer aided verification : 27th international conference, cav 2015, san francisco, ca, usa, july 18-24, 2015, proceedings, part ii / edited by Daniel Kroening, Corina S. P?s?reanu. por
  • Kroening, Daniel [editor.]
  • P?s?reanu, Corina S [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9207
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
2.
Computer aided verification : 27th international conference, cav 2015, san francisco, ca, usa, july 18-24, 2015, proceedings, part I / edited by Daniel Kroening, Corina S. P?s?reanu. por
  • Kroening, Daniel [editor.]
  • P?s?reanu, Corina S [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9206
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
3.
Decision Procedures : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. por
  • Kroening, Daniel [autor]
  • Strichman, Ofer [autor]
  • SpringerLink (Servicio en línea)
Series Texts in Theoretical Computer Science, An Eatcs Series
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz. por
  • Barner, Sharon [editor.]
  • Harris, Ian [editor.]
  • Kroening, Daniel [editor.]
  • Raz, Orna [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6504
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
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
6.
Verified software: theories, tools and experiments : 6th international conference, vstte 2014, vienna, austria, july 17-18, 2014, revised selected papers / edited by Dimitra Giannakopoulou, Daniel Kroening. por
  • Giannakopoulou, Dimitra [editor.]
  • Kroening, Daniel [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8471
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, 2014
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