Peter D. Mosses
Mathematiker,
Informatiker
Geboren:
1948
Hat mitgewirkt an:
-
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