Sannella, Donald, 1956-....
Sannella, D. (Donald), 1956-
Sannella, Donald
Sannella, D.
Don Sannella British computer scientist
Sannella, Donald Theodore
VIAF ID: 85214097 (Personal)
Permalink: http://viaf.org/viaf/85214097
Preferred Forms
- 100 0 _ ‡a Don Sannella ‡c British computer scientist
- 200 _ | ‡a Sannella ‡b Donald ‡f 1956-....
- 100 1 _ ‡a Sannella, D.
-
- 100 1 0 ‡a Sannella, D. ‡q (Donald), ‡d 1956-
-
-
-
-
- 100 1 _ ‡a Sannella, Donald
-
-
-
-
- 100 1 _ ‡a Sannella, Donald ‡d 1956-
- 100 1 _ ‡a Sannella, Donald, ‡d 1956-....
4xx's: Alternate Name Forms (11)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
ESOP'94 | |
Foundations of algebraic specification and formal software development | |
Introduction to Computation : Haskell, Logic and Automata | |
Mathematical foundations of computer science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings | |
MFCS 2015 | |
Model-theoretic foundations for program development : basic concepts and motivation | |
Programming languages and systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings | |
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers | |
Semantics, implementation and pragmatics of clear, a program specification language | |
TGC 2006 | |
Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers |