Formal object-oriented specification using object-Z /
Đã lưu trong:
| 主要作者: | Duke, Roger. |
|---|---|
| 格式: | 圖書 |
| 語言: | English |
| 出版: |
Basingstoke :
Macmillan,
2000
|
| 主題: | |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| Thư viện lưu trữ: | Mạng thư viện Đại học Đà Nẵng |
|---|
相似書籍
-
Object relational DBMSs
由: Michael Stonebraker
出版: (1999) -
Practical object oriented design
由: Unhelkar, Bhuvan
出版: (2005) -
An introduction to object-oriented analysis
由: Brown, David William
出版: (2002) -
Object-oriented analysis and design with applications
由: Booch, Grady
出版: (1994) -
An introduction to object-oriented programming with Java
由: Wu, C. Thomas
出版: (1999)


