CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification /
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Singapore :
World Scientific,
c1998
|
| Σειρά: | AMAST Series in Computing ; ;
vol. 6 |
| Θέματα: |