Showing 1 - 5 results of 5 for search 'Mosses, Peter D.', query time: 0.03s Refine Results
  1. 1
    Action semantics
    by Mosses, Peter D.
    Published 1992
    Book
  2. 2
    CASL User Manual Introduction to Using the Common Algebraic Specification Language /
    Other Authors: “…Mosses, Peter D.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language /
    Published 2004
    Other Authors: “…Mosses, Peter D.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
    Published 2005
    Other Authors: “…Mosses, Peter D.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings /
    Published 2000
    Other Authors: “…Mosses, Peter D.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search