Image from Amazon.com
Systematic software development using Vdm
Material type:
TextPublication details: Prentice-Hall 1986Edition: Description: 300ISBN: - 0-13-880717-5
- 004.415
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Department of Computer Science | 004.415 (Browse shelf(Opens below)) | Available | MCS01177 |
Browsing Department of Computer Science shelves Close shelf browser (Hides shelf browser)
|
No cover image available |
|
|
|
|
|
||
| 004.414.38 BJO Formal specification and software development | 004.414.38 THA Software requrirements engineering | 004.414.38HAY Specification case studies | 004.415 Systematic software development using Vdm | 004.415 System Reliability:Concepts And Applications | 004.415 Software development using Eiffel: There can be life other than C++ | 004.415 The digital guide to software development |
There are no comments on this title.