Sannella, Donald.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Foundations of algebraic specification and formal software development by: Tarlecki, Andrzej.; Sannella, Donald.; SpringerLink (Online service) (Language materials, printed)

Introduction to Computation = Haskell, Logic and Automata / by: Wadler, Philip.; Sannella, Donald.; Fourman, Michael.; SpringerLink (Online service); Peng, Haoran. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Subjects

Formal methods (Computer science) Computer science—Mathematics. Software Engineering/Programming and Operating Systems. Design and Analysis of Algorithms. Software engineering. Computer science. Theory of Computation. Category Theory, Homological Algebra. Mathematics of Computing. Computer Science. Computer science Logics and Meanings of Programs. Mathematical Logic and Foundations. Algorithms. Computer software Computer Science Logic and Foundations of Programming.