Implementación de una herramienta de model-checking basada en álgebra relacional

Guardado en:
Detalles Bibliográficos
Autores principales: Steren, Gabriela (Autor, autor), Gamarra, Rodolfo Federico (autor)
Otros Autores: Frías, Marcelo (Orientador)
Formato: Tesis Libro
Lenguaje:Español
Publicado: 2005
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca Central Dr. Luis F. Leloir (FCEN) de Universidad de Buenos Aires
LEADER 01046cam a22003017a 4500
001 BIBLO-37393
003 AR-BaUEN
005 20230712154936.0
008 060808s2005 ag ||||f m||| 00| 0|spa|d
040 |a AR-BaUEN  |b spa  |c AR-BaUEN 
084 |a COM 000273 
100 1 |a Steren, Gabriela  |4 aut  |e autor 
245 1 0 |a Implementación de una herramienta de model-checking basada en álgebra relacional 
260 |c 2005 
300 |a 141 h. 
502 |b Licenciado en Ciencias de la Computación  |c Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 
562 |e 1 ej. 
691 7 |2 fcen-at  |a computacion 
700 1 |a Gamarra, Rodolfo Federico  |4 aut  |e autor 
700 1 |a Frías, Marcelo  |4 ths  |e dir 
901 |a BIBLO  |b 00037458  |o ROSANA  |o MARIANO&NATACHA  |n 56678  |q Lucía Bongiovanni 
942 |2 z  |n 0  |c TFL 
961 |a seminario_nCOM000273_Steren  |c PR  |b seminario 
962 |a info:eu-repo/semantics/doctoralThesis  |b info:eu-repo/semantics/publishedVersion 
976 |a AEX 
997 |a TESIS 
999 |c 45638  |d 45638 
931 |a DC 

Ejemplares similares