1
CASL User Manual [E-Book] : Introduction to Using the Common Algebraic Specification Language /
Other Personal Name(s): “...Mosses, Peter D....”

Full text 
Favorites
Saved in:
2
CASL Reference Manual [E-Book] : The Complete Documentation of the Common Algebraic Specification Language /
Other Personal Name(s): “...Mosses, Peter D....”

Full text 
Favorites
Saved in:
3
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [E-Book] : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings /
Other Personal Name(s): “...Mosses, Peter D....”

Full text 
Favorites
Saved in:
4
Action Semantics [E-Book] /
Other Personal Name(s): “...Mosses, Peter D....”

Full text 
Favorites
Saved in:

Narrow Search Results