Donald Sannella
Donald Sannella
5 books in the database
Books
Foundations of Algebraic Specification and Formal Software DevelopmentDonald Sannella
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella · 2012
Programming Languages and Systems - ESOP '94Donald Sannella
Programming Languages and Systems - ESOP '94
Donald Sannella · 1994
Introduction to ComputationDonald Sannella
Introduction to Computation
Donald Sannella · 2021
Foundations Of Algebraic Specification And Formal Software DevelopmentDonald Sannella
Foundations Of Algebraic Specification And Formal Software Development
Donald Sannella · 2012
Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994Donald Sannella
Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994
Donald Sannella · 1994
Co-authored books and collections
Books that list Donald Sannella among their authors but not as the lead author: co-written works, collections and compilations.
