Hardcover Book Paperback Book
Show unavailable items

Releases by Donald Sannella

Cover for Donald Sannella · Introduction to Computation: Haskell, Logic and Automata - Undergraduate Topics in Computer Science (Paperback Book) [1st ed. 2021 edition] (2022)

1st ed. 2021 edition

Introduction to Computation: Has... (2022)

Donald Sannella

Cover for Donald Sannella · Foundations of Algebraic Specification and Formal Software Development - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) (2014)

Foundations of Algebraic Specifi... (2014)

Donald Sannella

Cover for Donald Sannella · Foundations of Algebraic Specification and Formal Software Development - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) (2011)

Foundations of Algebraic Specifi... (2011)

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 Book) (2007)

Trustworthy Global Computing: Se... (2007)

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 Book) (1994)

Programming Languages and System... (1994)

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 Book) (1988)

Recent Trends in Data Type Speci... (1988)

Donald Sannella