|
|
|
|
| LEADER |
00000nab a2200000 a 4500 |
| 001 |
MANI21428 |
| 008 |
230422s2010####|||#####|#########0#####d |
| 100 |
|
|
|a Garis, Ana Gabriela
|
| 245 |
1 |
0 |
|a Lógica temporal en verificación de modelos de software
|b : Origen y evolución hasta tiempos actuales
|
| 041 |
|
7 |
|2 ISO 639-1
|a es
|
| 300 |
|
|
|a p.151-162
|
| 650 |
0 |
4 |
|a Aplicaciones de las computadoras
|
| 650 |
0 |
4 |
|a Procesamiento de datos
|
| 773 |
0 |
|
|7 nnas
|t Fundamentos en humanidades.
|g Vol. 11 (2010),151-162
|v 11
|q 151-162
|d San Luis : UNSL
|x ISSN 1515-4467
|
| 952 |
|
|
|o 008-FUN
|a HEMEROTECA 1º PISO
|b HEMEROTECA 1º PISO
|k 13
|z Solicitar para consulta por esta ubicación de la revista
|
