Search Results - Sannella, D. (Donald), 1956-

Foundations of algebraic specification and formal software development by Sannella, D. (Donald), 1956-

Full Text (via Springer)

Introduction to computation : Haskell, logic and automata / by Sannella, D. (Donald), 1956-, Fourman, Michael, Peng, Haoran, Wadler, Philip, 1956-

Full Text (via Springer)

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers /

Other Authors: “…Sannella, D. (Donald), 1956-…”

Recent trends in data type specification 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987 /

Other Authors: “…Sannella, D. (Donald), 1956-…”
Full Text (via Springer)

Trustworthy global computing second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers /

Other Authors: “…Sannella, D. (Donald), 1956-…”
Full Text (via Springer)

Mathematical foundations of computer science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings.

Other Authors: “…Sannella, D. (Donald), 1956-…”
Full Text (via Springer)

Mathematical foundations of computer science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings.

Other Authors: “…Sannella, D. (Donald), 1956-…”
Full Text (via Springer)

A list of successes that can change the world essays dedicated to Philip Wadler on the occasion of his 60th birthday /

Other Authors: “…Sannella, D. (Donald), 1956-…”
Full Text (via Springer)

Algebraic system specification and development : a survey and annotated bibliography /

Other Authors: “…Sannella, D. (Donald), 1956-…”
Full Text (via Springer)