|
Development of the tools to defing formal specification of requirements using the VDM case study of borrow-return the book in the library system |
|---|---|
| รหัสดีโอไอ | |
| Title | Development of the tools to defing formal specification of requirements using the VDM case study of borrow-return the book in the library system |
| Creator | Adisak Sangsongfa |
| Publisher | Mahidol University, |
| Publication Year | 2543 |
| Keyword | Libraries |
| ISBN | 974-663-619-7 |