Peter Mosses
6 published titles
The mathematical semantics of Algol 60
1 edition
- ISBN: 0902928082
- Oxford University Computing Laboratory, Programming Research Group
- 1974
- Details
Action semantics
1 edition
- ISBN: 0521403472
- Cambridge University Press
- 1992
- Details
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers
(Contributor)
1 edition
- ISBN: 3540678980
- Springer
- 2000
- Details
CASL reference manual : the complete documentation of the Common Algebraic Specification Language
(Contributor)
1 edition
- ISBN: 3540213015
- Springer
- 2004
- Details
CASL user manual : introduction to using the Common Algebraic Specification Language
(Contributor)
1 edition
- ISBN: 354020766X
- Springer
- 2004
- Details
Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. revised selected papers
(Contributor)
1 edition
- ISBN: 3540253270
- Springer.
- 2005
- Details
