La lógica modal como herramienta de ingeniería de software

Detalles Bibliográficos
Autor principal: Areces, Carlos Eduardo
Otros Autores: Hirsch, Dan Francisco, Felder, Miguel, Yankelevich, Daniel
Formato: Tesis Libro
Lenguaje:Español
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 00849cam a22002297a 4500
001 BIBLO-23452
003 AR-BaUEN
005 20250305200317.0
008 961010s1996 ag ||||f m||| 00| 0|spa|d
040 |a AR-BaUEN  |b spa  |c AR-BaUEN 
044 |a ag 
084 |a COM 000068 
100 1 |a Areces, Carlos Eduardo 
245 1 3 |a La lógica modal como herramienta de ingeniería de software 
300 |a 77 h. :  |b 1 diskette 
502 |b Licenciado en Ciencias de la Computación  |c Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales  |d 1996 
700 1 |a Hirsch, Dan Francisco 
700 1 |a Felder, Miguel 
700 1 |a Yankelevich, Daniel 
931 |a DC 
961 |a seminario_nCOM000068_ArecesHirsch  |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