Books by Donald Sannella
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella, Andrzej Tarlecki
-20% with code BOOKS
In stock at our supplier
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella, Andrzej Tarlecki
-20% with code BOOKS
In stock at our supplier
Introduction to Computation: Haskell, Logic and Automata
Philip Wadler, Donald Sannella, Haoran Peng, Michael Fourman
-20% with code BOOKS
In stock at our supplier