TEST - Catálogo BURRF		    

Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
The Calculus of Computation : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna. por
  • Bradley, Aaron R [autor]
  • Manna, Zohar [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
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
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha