|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250311170409.0 |
| 008 |
230201s1992 xxka r 000 0 eng d |
| 020 |
|
|
|a 0521403472
|
| 024 |
8 |
|
|a DIF-M6175
|b 6302
|z DIF005657
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Mosses, Peter D.
|
| 245 |
1 |
0 |
|a Action semantics
|
| 250 |
|
|
|a 1st ed.
|
| 260 |
|
|
|a Cambridge :
|b Cambridge University Press,
|c c1992
|
| 300 |
|
|
|a xx, 372 p. :
|b il. ;
|c 26 cm.
|
| 490 |
0 |
|
|a Cambridge Tracts in Theoretical Computer Science
|v 26
|
| 500 |
|
|
|a Incluye bibliografía, índice de símbolos e índice de conceptos.
|
| 505 |
0 |
|
|a I. Introduction -- 1. Language descriptions -- 2. Action semantic descriptions -- 3. Algebraic specifications -- II. Action notation -- 4. Basic -- 5. Data -- 6. Functional -- 7. Declarative -- 8. Imperative -- 9. Reflective -- 10. Communicative -- III. Semantic descriptions -- 11. Statements -- 12. Literals -- 13. Expressions -- 14. Declarations -- 15. Variables -- 16. Subprograms -- 17. Tasks -- IV. Conclusion -- 18. Other frameworks -- 19. Development
|
| 650 |
|
4 |
|a LENGUAJES DE PROGRAMACIÓN
|
| 650 |
|
4 |
|a SEMÁNTICA
|
| 650 |
|
4 |
|a CIENCIAS VETERINARIAS
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D31_MOS
|7 0
|9 80497
|a DIF
|b DIF
|d 2025-03-11
|i DIF-04123
|l 0
|o D.3.1 MOS
|p DIF-04123
|r 2025-03-11 17:04:08
|w 2025-03-11
|y BK
|
| 999 |
|
|
|c 55444
|d 55444
|
