Algebraic specification techniques in object oriented programming environments /
"The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abst...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 图书 |
| 语言: | English |
| 出版: |
Berlin ; New York :
Springer-Verlag,
c1991.
|
| 丛编: | Lecture notes in computer science ;
562. |
| 主题: | |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
3rd Floor Main Library
| 索引号: |
A1234.567 |
|---|---|
| 复印件 1 | 可用 |