Construcción formal de programas : Integración de metodologías

Detalles Bibliográficos
Autor principal: Braberman, Víctor Adrián
Otros Autores: Kock, Marcelo Eduardo, Wachenchauzer, Rosa
Formato: Tesis Libro
Lenguaje:Español
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 00811cam a22002177a 4500
001 BIBLO-23176
003 AR-BaUEN
005 20231211132755.0
008 941013s1993 ag ||||f m||| 00| 0|spa|d
040 |a AR-BaUEN  |b spa  |c AR-BaUEN 
044 |a ag 
084 |a COM 000036 
100 1 |a Braberman, Víctor Adrián 
245 1 0 |a Construcción formal de programas :  |b Integración de metodologías 
300 |a 55 h. 
502 |b Licenciado en Ciencias de la Computación  |c Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales  |d 1993 
700 1 |a Kock, Marcelo Eduardo 
700 1 |a Wachenchauzer, Rosa 
931 |a DC 
961 |a seminario_nCOM000036_Braberman  |c PR  |b seminario 
962 |a info:eu-repo/semantics/bachelorThesis  |a info:ar-repo/semantics/tesis de grado  |b info:eu-repo/semantics/publishedVersion