TEST - Catálogo BURRF
   

Su búsqueda retornó 3 resultados.

Ordenar
Resultados
1.
Ada for Software Engineers (Second Edition with Ada 2005) / edited by Mordechai Ben-Ari. por
  • Ben-Ari, Mordechai [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London, 2009
Disponibilidad: No hay ítems disponibles.

2.
Mathematical Logic for Computer Science / by Mordechai Ben-Ari. por
  • Ben-Ari, Mordechai [autor]
  • SpringerLink (Servicio en línea)
Edición: 3rd ed. 2012.
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.

3.
Principles of the Spin Model Checker / by Mordechai Ben-Ari. por
  • Ben-Ari, Mordechai [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London, 2008
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