Don Sannella
Results: 3
| # | Item |
|---|---|
1 | Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don SannellaAdd to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2012-09-24 08:45:19 |
2 | Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: andAdd to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2000-06-29 07:17:41 |
3![Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and](https://www.pdfsearch.io/img/4f28fdaaa4f4425571adfe3fe987bed9.jpg "Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and") | Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] andAdd to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2000-06-29 07:17:41 |