Donald Sannella

9 books

Introduction to Computation: Haskell, Logic and Automata

by Donald Sannella

2.00 of 3

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

by Donald Sannella

5.00 of 1

Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994 : Proceedings (Lecture Notes in Computer Science)

by Donald Sannella

0.0 of 0

Recent Trends in Data Type Specification

by Donald Sannella

0.0 of 0

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4661)

by Donald Sannella

0.0 of 0

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

by Donald Sannella

0.0 of 0

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3142)

0.0 of 0

Web Analytics Made Easy - Statcounter