|
|
|
|
| LEADER |
01063nam a22002655a 4500 |
| 001 |
23926 |
| 003 |
AR-SrUBC |
| 005 |
20210617165309.0 |
| 007 |
t||||||||||||| |
| 008 |
010113m||||||||nyu#||||r|||||||||||eng|| |
| 020 |
|
|
|a 0137304099
|
| 040 |
|
|
|a AR-SrUBC
|b eng
|e rcaa2
|
| 080 |
|
|
|a 004.438=20
|2 2000 ES
|
| 100 |
1 |
|
|a Gordon, Michael J.C.
|9 45745
|
| 245 |
1 |
0 |
|a Programming language theory and its implementation :
|b applicative and imperative paradigms /
|c Michael J.C. Gordon.
|
| 260 |
|
|
|a New York :
|b Prentice Hall,
|c 1988.
|
| 300 |
|
|
|a xiv, 255 p. ;
|c 23 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Prentice Hall Internatinal series in computer science
|
| 505 |
0 |
0 |
|a Contenido: Proving programs correct -- Calculus and combinators -- Implementing the theories.
|
| 650 |
|
7 |
|a LENGUAJES DE PROGRAMACION (COMPUTADORES ELECTRONICOS)--TEORIAS
|2 lemb3
|9 45746
|
| 942 |
|
|
|2 cdu
|a UNLPam.LUFEXA.Lubomirsky
|b 2001-01-13
|c BK
|d 025751
|h 004.438=20
|i GORp
|z NO
|6 00443820_GORP
|
| 999 |
|
|
|c 23926
|d 23926
|