|
|
|
|
LEADER |
00880nam a2200229 a 4500 |
001 |
1965270 |
005 |
20171111235854.0 |
008 |
071011s2005 mau r 000 0 eng d |
020 |
|
|
|a 0262162288
|
040 |
|
|
|a ΤΕΙ-ΔΜ
|b gre
|
082 |
|
0 |
|a 005.13
|
082 |
|
0 |
|2 22
|a 005.13 ADV
|
245 |
1 |
0 |
|a Advanced topics in types and programming languages /
|c Benjamin C. Pierce, editor
|
260 |
1 |
0 |
|a Cambridge, Mass. :
|b MIT Press,
|c c2005
|
300 |
1 |
0 |
|a xiii, 574 p. :
|b fig. ;
|c 23 cm.
|
504 |
1 |
0 |
|a Includes bibliographical references and index (p. [567]-574)
|
504 |
1 |
0 |
|a Includes bibliographical references and index.
|
650 |
1 |
0 |
|a Programming languages (Electronic computers)
|
700 |
1 |
0 |
|a Pierce, Benjamin C.
|
710 |
1 |
0 |
|a MIT Press
|
952 |
|
|
|a GR-AtNTU
|b 59cc24356c5ad13446f91dd7
|c 998a
|d 945l
|e 005.13 ADV
|t 2
|x m
|z Books
|
952 |
|
|
|a GR-KeIUL
|b 59cc2b426c5ad13446fa358a
|c 998a
|d 945l
|e 005.13 ADV
|t 1
|x m
|z Books
|