CASL Reference Manual : the Complete Documentation of the Common Algebraic Specification Language /
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004
|
Series: | Lecture notes in computer science ;
2960 |
Subjects: |