Introducing OBJ
収録刊行物
-
- Software Engineering with OBJ : Algebraic specification in action
-
Software Engineering with OBJ : Algebraic specification in action 2000
Kluwer
Software Engineering with OBJ : Algebraic specification in action 2000
Kluwer