Showing 1 - 5 results of 5 for search 'Sannella, Donald T.', query time: 0.02s Refine Results
  1. 1
    Foundations of Algebraic Specification and Formal Software Development
    by Sannella, Donald, Tarlecki, Andrzej
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /
    Published 2007
    Other Authors: “…Sannella, Donald…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
    Published 2015
    Other Authors: “…Sannella, Donald T.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
    Published 2015
    Other Authors: “…Sannella, Donald T.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Automata, Languages and Programming 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings /
    Published 2004
    Other Authors: “…Sannella, Donald…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search