TEST - Catálogo BURRF		    

Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. por
  • Derrick, John [editor.]
  • Gnesi, Stefania [editor.]
  • Latella, Diego [editor.]
  • Treharne, Helen [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7321
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider. por
  • Treharne, Helen [editor.]
  • King, Steve [editor.]
  • Henson, Martin [editor.]
  • Schneider, Steve [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3455
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
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha