TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures / edited by Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto. por
  • Bove, Ana [editor.]
  • Barbosa, Luís Soares [editor.]
  • Pardo, Alberto [editor.]
  • Pinto, Jorge Sousa [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5520
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.

2.
Rigorous Software Development : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. por
  • Almeida, José Bacelar [autor]
  • Frade, Maria João [autor]
  • Pinto, Jorge Sousa [autor]
  • Melo de Sousa, Simão [autor]
  • SpringerLink (Servicio en línea)
Series Undergraduate Topics in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: London : Springer London : Imprint: Springer, 2011
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