Udgivelser med Donald Sannella

Cover for Donald Sannella · Introduction to Computation: Haskell, Logic and Automata - Undergraduate Topics in Computer Science (Paperback Bog) [1st ed. 2021 edition] (2022)
Paperback Bog
1st ed. 2021 edition
Introduction to Computation: Has...
Donald Sannella
Cover for Donald Sannella · Foundations of Algebraic Specification and Formal Software Development - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Bog) (2014)
Paperback Bog
2012 edition
Foundations of Algebraic Specifi...
Donald Sannella
Cover for Donald Sannella · Foundations of Algebraic Specification and Formal Software Development - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover bog) (2011)
Hardcover bog
2012 edition
Foundations of Algebraic Specifi...
Donald Sannella
Cover for Donald Sannella · Trustworthy Global Computing: Second Symposium, Tgc 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Bog) (2007)
Paperback Bog
Trustworthy Global Computing: Se...
Donald Sannella
Cover for Donald Sannella · Programming Languages and Systems - Esop '94: 5th European Symposium on Programming, Edinburgh, U.k., April 11 - 13, 1994. Proceedings (5th European Symposium on Programming, Edinburgh, Uk, April 11-13, 1994, Proceedings, 5th European Symposium on Program (Paperback Bog) (1994)
Paperback Bog
Programming Languages and System...
Donald Sannella
Cover for Donald Sannella · Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987, Selected Papers - Lecture Notes in Computer Science (Paperback Bog) (1988)
Paperback Bog
Recent Trends in Data Type Speci...
Donald Sannella