Mosses, Peter D.
Mosses, Peter
VIAF ID: 728498 (Personal)
Permalink: http://viaf.org/viaf/728498
Preferred Forms
-
100 1 0 ‡a Mosses, Peter
-
100 1 _ ‡a Mosses, Peter D.
-
100 1 _ ‡a Mosses, Peter D. (undifferentiated)
-
100 1 _ ‡a Mosses, Peter D.
Selected Titles
- CASL reference manual : the complete documentation of the Common Algebraic Specification Language
(5)
- Action semantics
(5)
- TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
(4)
- CASL user manual : introduction to using the Common algebraic specification language
(3)
- WADT 2004
(2)
- Theory and practice of software development
(2)
- Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
(2)
- The mathematical semantics of Algol 60
(1)
- TAPSOFT '95 : theory and practice of software development
(1)
- Selected papers of TAPSOFT '95
(1)
