Action semantics

By: Material type: TextTextSeries: Cambridge Tracts in Theoretical Computer Science ; 26Publication details: Cambridge : Cambridge University Press, c1992Edition: 1st edDescription: xx, 372 p. : il. ; 26 cmISBN:
  • 0521403472
Subject(s):
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Libros Libros Biblioteca Fac.Informática D.3.1 MOS (Browse shelf(Opens below)) Available DIF-04123

Incluye bibliografía, índice de símbolos e índice de conceptos.

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

There are no comments on this title.

to post a comment.

Powered by Koha