TEST - Catálogo BURRF		    

Su búsqueda retornó 6 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. por
  • Börger, Egon [editor.]
  • Butler, Michael [editor.]
  • Bowen, Jonathan P [editor.]
  • Boca, Paul [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5238
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
2.
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. por
  • Butler, Michael [editor.]
  • Schulte, Wolfram [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6664
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
3.
Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie. por
  • Butler, Michael [editor.]
  • Hinchey, Michael G [editor.]
  • Larrondo-Petrie, María M [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4789
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
4.
Formal methods and software engineering : 17th international conference on formal engineering methods, icfem 2015, paris, france, november 3-5, 2015, proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. por
  • Butler, Michael [editor.]
  • Conchon, Sylvain [editor.]
  • Zaïdi, Fatiha [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9407
Edición: 1st ed. 2015.
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
5.
Methods, Models and Tools for Fault Tolerance / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. por
  • Butler, Michael [editor.]
  • Jones, Cliff [editor.]
  • Romanovsky, Alexander [editor.]
  • Troubitsyna, Elena [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5454
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
6.
Rigorous Development of Complex Fault-Tolerant Systems / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna. por
  • Butler, Michael [editor.]
  • Jones, Cliff B [editor.]
  • Romanovsky, Alexander [editor.]
  • Troubitsyna, Elena [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4157
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
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