TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Foundations of Algebraic Specification and Formal Software Development / by Donald Sannella, Andrzej Tarlecki. por
  • Sannella, Donald [autor]
  • Tarlecki, Andrzej [autor]
  • SpringerLink (Servicio en línea)
Series Monographs 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, 2012
Disponibilidad: No hay ítems disponibles.

2.
Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / edited by Ugo Montanari, Donald Sannella, Roberto Bruni. por
  • Montanari, Ugo [editor.]
  • Sannella, Donald [editor.]
  • Bruni, Roberto [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4661
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
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