Formal object-oriented specification using object-Z /
Saved in:
| Main Author: | Duke, Roger. |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Basingstoke :
Macmillan,
2000
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institutions: | Mạng thư viện Đại học Đà Nẵng |
|---|
Similar Items
-
Object relational DBMSs
by: Michael Stonebraker
Published: (1999) -
Practical object oriented design
by: Unhelkar, Bhuvan
Published: (2005) -
An introduction to object-oriented analysis
by: Brown, David William
Published: (2002) -
Object-oriented analysis and design with applications
by: Booch, Grady
Published: (1994) -
An introduction to object-oriented programming with Java
by: Wu, C. Thomas
Published: (1999)


