Peter D. Mosses
Mathematiker,
Informatiker
Geboren:
1948
Werke:
- CASL reference manual : the complete documentation of the common algebraic specification language
- CASL user manual : introduction to using the common algebraic specification language ; [tutorial]
- Theory and practice of software development : proceedings
- Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday