TEST - Catálogo BURRF		    

Su búsqueda retornó 5 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. por
  • Peled, Doron A [editor.]
  • Tsay, Yih-Kuen [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3707
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by Doron A. Peled, Michael J. Wooldridge. por
  • Peled, Doron A [editor.]
  • Wooldridge, Michael J [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5348
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled. por
  • Bensalem, Saddek [editor.]
  • Peled, Doron A [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5779
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Time for Verification : Essays in Memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled. por
  • Manna, Zohar [editor.]
  • Peled, Doron A [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6200
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. por
  • Logozzo, Francesco [editor.]
  • Peled, Doron A [editor.]
  • Zuck, Lenore D [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4905
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
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha