|
|
|
|
| LEADER |
01117aam a2200253uu 4500 |
| 001 |
000000000340 |
| 003 |
OSt |
| 005 |
20171015123016.0 |
| 008 |
140901b us ||||| |||| 00| 0 eng d |
| 040 |
|
|
|a Sistema de Bibliotecas UNAH
|
| 999 |
|
|
|c 340
|d 340
|
| 020 |
|
|
|a 0-444-86619-1
|
| 082 |
0 |
|
|a 001.642 I23f
|
| 111 |
1 |
|
|a IFIP Working Conference on Formal Description of Programming Concepts
|c Garmisch-Partenkirchen, Germany
|d (1982
|
| 245 |
1 |
0 |
|a Formal description of programing concepts II
|b Proceeding of the IFIP Workin Conference on formal Description of Programing Concepts II, Garmish- Partenkirchen, FRG, 1-4 June 1982
|
| 260 |
|
|
|a Amsterdam, Estados Unidos
|b North-Holland
|c 1983
|
| 300 |
|
|
|a XII, 455 S
|b graph. Darst
|
| 504 |
|
|
|a Incluye bibliografía e índice
|
| 650 |
|
4 |
|a PROGRAMACION (COMPUTADORAS ELECTRONICAS DIGITALES))
|x CONGRESOS
|
| 650 |
|
4 |
|a LENGUAJES FORMALES
|x CONGRESOS
|
| 700 |
1 |
|
|a Bjorner, Dines, editor
|
| 710 |
1 |
|
|a Federación Internacional sobre Procesos de Información
|
| 942 |
|
|
|2 ddc
|c LB
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 001_000000000000000_642I23F
|7 0
|9 1116
|a CG
|b BC
|l 0
|o 001.642-I23f
|p 14202
|y LB
|