|
|
|
|
| LEADER |
00972aam a2200265uu 4500 |
| 001 |
000000000319 |
| 003 |
OSt |
| 005 |
20190821111525.0 |
| 008 |
140806s1978 mau|||||r|||| 001 0 eng d |
| 040 |
|
|
|a Sistema de Bibliotecas UNAH
|
| 999 |
|
|
|c 319
|d 319
|
| 020 |
|
|
|a 0-87626-726-6
|
| 082 |
0 |
|
|a 001.642-C75
|
| 100 |
1 |
|
|a Constable, Robert L.
|9 32638
|
| 245 |
1 |
2 |
|a A programming logic
|b with an introduction to the PL/CV verifier
|c Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson
|
| 260 |
|
|
|a Cambridge, Mass.
|b Winthrop
|c c1978
|
| 300 |
|
|
|a x, 389 p.
|c 24 cm.
|
| 500 |
|
|
|a Incluye índice
|
| 504 |
|
|
|a Bibliografía: p. 370-381
|
| 650 |
|
4 |
|a PL/CV(LENGUAJE DE PROGRAMACION PARA COMPUTADORAS)
|9 32641
|
| 650 |
|
4 |
|a PROGRAMAS PARA COMPUTADORA
|9 32644
|
| 650 |
|
4 |
|a LOGICA MATEMATICA
|9 14253
|
| 700 |
1 |
|
|a O'Donnell, Michael J.
|9 32647
|
| 942 |
|
|
|2 ddc
|c LB
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 001_000000000000000_642C75
|7 0
|9 1056
|a CG
|b BC
|l 0
|o 001.642-C75
|p 14148
|y LB
|