Donald Sannella

Donald Sannella is the author of "Recent Trends in Data Type Specification", "Algebraic System Specification and Development", "Introduction to Computation" and "Foundations of Algebraic Specification and Formal Software Development".

Books by Donald Sannella

Trustworthy Globa...
Montanari Ugo
Electronic book text: $99.00

Trustworthy Globa...
Montanari Ugo
Paperback: $54.99

Foundations of Al...
Sannella, Donald
Electronic book text: $99.00

Introduction to C...
Sannella, Donald
Paperback: $44.99