Donald Sannella profile picture

Donald Sannella

Is this your author profile? Create an account to customize it!

Stand Alone

Foundations Of Algebraic Specification And Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science)
Introduction to Computation Haskell, Logic and Automata
Introduction to Computation
Introduction to Computation Haskell, Logic and Automata