TEST - Catálogo BURRF		    

Su búsqueda retornó 3 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Formal methods and software engineering : 16th international conference on formal engineering methods, icfem 2014, luxembourg, luxembourg, november 3-5, 2014. Proceedings / edited by Stephan Merz, Jun Pang. por
  • Merz, Stephan [editor.]
  • Pang, Jun [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8829
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
2.
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. por
  • Méry, Dominique [editor.]
  • Merz, Stephan [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6396
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
3.
Temporal Logic and State Systems / by Fred Kröger, Stephan Merz. por
  • Kröger, Fred [autor]
  • Merz, Stephan [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
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha