Systematic software development using VDM
Material type:
TextPublication details: Englewood Cliffs : Prentice Hall International ; 1986Description: xvi,300p. : ill. ; 24cmISBN: - 0138807175
- CoICT QA76.76.D47 J66
No PDF attached
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Book | UDSM Library | College of Information Technology (CoICT) | CoICT QA76.76.D47 J66 (Browse shelf(Opens below)) | Available | 000000267560 |
Total holds: 0
Browsing Directorate of Library Services (UDSM) shelves,Collection: College of Information Technology (CoICT) Close shelf browser (Hides shelf browser)
| CoICT QA76.76.C65A37 Compilers, principles, techniques, and tools | CoICT QA76.76.C65A39 Practice and principles of compiler building with C | CoICT QA76.76.C69C67 Configuration management | CoICT QA76.76.D47 J66 Systematic software development using VDM | CoICT QA76.76.D47B47 Software engineering with abstractions | CoICT QA76.76.M34 Windows 95 unleashed: | CoICT QA76.76.O63 S733 Operating systems : internals and design principles |
There are no comments on this title.
Log in to your account to post a comment.