|
|
|
|
LEADER |
00949cam a22002897a 4500 |
001 |
BIBLO-28834 |
003 |
AR-BaUEN |
005 |
20230712154843.0 |
008 |
000925s2000 ag ||||f m||| 00| 0|spa|d |
040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
084 |
|
|
|a COM 000127
|
100 |
1 |
|
|a Nadel, Diana R.
|4 aut
|e autor
|
245 |
1 |
0 |
|a Análisis formal de sistemas de tiempo real mediante abstracciones temporales
|
260 |
|
|
|c 2000
|
300 |
|
|
|a 144 p.
|
502 |
|
|
|b Licenciado en Ciencias de la Computación
|c Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
|
562 |
|
|
|e 1 ej.
|
700 |
1 |
|
|a Olivero, Alfredo
|4 ths
|e dir
|
901 |
|
|
|a BIBLO
|b 00028873
|n 56678
|q Lucía Bongiovanni
|
942 |
|
|
|2 z
|n 0
|c TFL
|
961 |
|
|
|a seminario_nCOM000127_Nadel
|c PR
|b seminario
|
962 |
|
|
|a info:eu-repo/semantics/doctoralThesis
|b info:eu-repo/semantics/publishedVersion
|
969 |
|
|
|a SC000127
|
976 |
|
|
|a AEX
|
997 |
|
|
|a TESIS
|
999 |
|
|
|c 44176
|d 44176
|
931 |
|
|
|a DC
|