Showing 1 - 8 results of 8 for search 'Sannella, Donald T.', query time: 0.03s Narrow Search
  1. 1
    Foundations of Algebraic Specification and Formal Software Development
    by Sannella, Donald, Tarlecki, Andrzej
    Published 2012
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Programming Languages and Systems - ESOP '94 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
    Published 1994
    Other Authors: “…Sannella, Donald…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Recent Trends in Data Type Specification Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
    Published 1988
    Other Authors: “…Sannella, Donald…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
    Published 2007
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
    Published 2015
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
    Published 2015
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    Automata, Languages and Programming 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
    Published 2004
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  8. 8
    Algebraic System Specification and Development A Survey and Annotated Bibliography
    Published 1991
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: