Donald Sannella
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
13
Toward formal development of ML programs
Extended ML
Introduction to Computation
Formal program development in extended ML for the working programmer
Some Thoughts on algebraic specification
Foundations Of Algebraic Specification And Formal Software Development
Automata, languages and programming
Formal specification of ML programs
Programming Languages and Systems - ESOP '94
Toward formal development of programs from algebraic specifications
Foundations of Algebraic Specification and Formal Software Development
Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994
