کتاب های Donald Sannella
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.), 2002
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.), 2002
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella, 2012
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler, 2022
Introduction to Computation: Haskell, Logic and Automata
Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler, 2022
