Showing 21 - 40 results of 98 for search 'Semantics (computer science)', query time: 0.17s Refine Results
  1. 21
  2. 22
  3. 23
  4. 24
  5. 25

    Understanding Z : a specification language and its formal semantics / by Spivey, J. Michael

    Published 1992
    Book
  6. 26
  7. 27
  8. 28
  9. 29

    Conditional term rewriting systems /

    Published 1993
    Conference Proceeding Book
  10. 30

    Programming languages : implementations, logics and programs : Proceedings /

    Published 1995
    Conference Proceeding Book
  11. 31

    Verification, model checking and abstract interpretation : proceedings /

    Published 2009
    Conference Proceeding Book
  12. 32
  13. 33
  14. 34
  15. 35
  16. 36
  17. 37
  18. 38

    Nonsequential processes : a Petri net view / by Best, Eike, 1951-

    Published 1988
    Book
  19. 39
  20. 40

    Introduction to process algebra / by Fokkink, Wan, 1965-

    Published 2010
    Book