Donald Sannella

3 books • 2 series

Jan 20, 2022
Cover of Introduction to Computation

Introduction to Computation (Undergraduate Topics in Computer Science)

Jan 15, 2014
Cover of Programming Languages and Systems - ESOP '94

Programming Languages and Systems - ESOP '94

Dec 30, 2011
Cover of Foundations of Algebraic Specification and Formal Software Development

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