| 000 -CABECERA |
|---|
| campo de control de longitud fija |
00548nam a2200181Ia 4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
241004s9999 xx 000 0 und d |
| 082 ## - CLASIFICACIÓN - CUTTER |
|---|
| Clasificación |
511.3 KRO |
| 100 ## - Autor |
|---|
| Nombre de persona |
Kroger, Fred |
| 245 #0 - TÍTULO |
|---|
| Título |
Temporal logic of programs |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Editorial |
Springer-Verlag |
| Ciudad - País |
Berlin-DD |
| Fecha de publicación. |
1987 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Número de páginas |
148 p |
| 650 ## - Temas |
|---|
| Término |
COMPUTACION Y MATEMATICAS |
| 650 ## - Temas |
|---|
| Término |
LOGICA DE PROPOSICIONES (COMPUTACION) |
| 650 ## - Temas |
|---|
| Término |
LOGICA MATEMATICA |
| 650 ## - Temas |
|---|
| Término |
LOGICA TEMPORAL |
| 650 ## - Temas |
|---|
| Término |
SEMANTICA TEMPORAL DE PROGRAMA |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Tipo de ítem Koha |
Monografia |
| 952 ## - LOCALIZACIÓN E INFORMACIÓN DEL ÍTEM/UNIDAD FÍSICA (KOHA) |
|---|
| -- |
0 |
