|
|
|
|
| LEADER |
01471nam a2200313a 44500 |
| 001 |
UBP09782 |
| 003 |
AR-CdUBP |
| 005 |
20220310155209.0 |
| 008 |
050602s2004 maua f 001 eng d |
| 020 |
|
|
|a 0-262-22069-5
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 100 |
|
|
|a Van Roy, Peter
|
| 245 |
1 |
0 |
|a Concepts, techniques, and models of computer programming /
|c Peter Van Roy, Seif Haridi.
|
| 260 |
|
|
|a Cambridge :
|b Mit Press,
|c c2004
|
| 300 |
|
|
|a xi, 900 p. :
|b il. ;
|c 26 cm.
|
| 504 |
|
|
|a Indice: p. 863-900.
|
| 504 |
|
|
|a Bibliografía: p. 853-862.
|
| 505 |
0 |
|
|a 1. Introduction to programming concepts. I. GENERAL COMPUTATION MODELS. 2. Declarative computation model. 3. Declarative programming techniques. 4. Declarative concurrency. 5. Message-passing concurrency. 6. Explicit state. 7. Object-oriented programming. 8. Shared-state concurrency. 9. Relational programming. II. SPECIALIZED COMPUTATION MODELS. 10. Graphical user interface programming. 11. Distributed programming. 12. Constraint programming. III. SEMANTICS. 13. Language semantics. IV. APPENDIXES. A. Mozart system development enviroment. B. Basic Data types. C. Language syntax. D. General computation model.
|
| 650 |
|
4 |
|a PROGRAMACION DE ORDENADORES
|
| 650 |
|
4 |
|a MODELOS DE PROGRAMACION
|
| 653 |
|
|
|a INFORMATICA
|
| 700 |
1 |
|
|a Haridi, Seif
|
| 930 |
|
|
|a INFORMATICA
|
| 931 |
|
|
|a 09782
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a JPG
|
| 984 |
|
|
|a 004.42
|b V358c
|
| 999 |
|
|
|c 25134
|d 25134
|