Búsqueda por tema: METODOS FORMALES.
1. [Tesis Final Licenciatura en Sistemas de Información UTN/ISIPER]
El lenguaje Z de especificación formal de requerimientos / Luis Alejandro Muzzachiodi, Darío Ceferino Reisenauer ; directora Susana Marta Rivas ; asesora metodológica Graciela Laura Mingo ; coordinador Eduardo Luis Iungman. 		2002
TF-LSI
129
2. Números enteros / José Luis Gonzalez [et el.]. — 1a ed. 1990
511.11
NUM
3. Métodos formais para o desenvolvimento de programas / Paulo Sergio C. de Alencar, Carlos J.P. de Lucena. — 1a ed. 1988
(082)004 EBAI
ALE
Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.
Recorrer el catálogo completo (por orden de ubicación del material)

El catálogo es fruto del trabajo cooperativo de las Bibliotecas de la Facultad de Ciencia y Tecnología, de la Universidad Autónoma de Entre Ríos