TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Fm 2014: formal methods : 19th international symposium, singapore, may 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun. por
  • Jones, Cliff [editor.]
  • Pihlajasaari, Pekka [editor.]
  • Sun, Jun [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8442
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
Disponibilidad: No hay ítems disponibles.

2.
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
Disponibilidad: No hay ítems disponibles.

Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha