Image from Amazon.com
Software specification techniques
Material type:
TextLanguage: English Publication details: Newyork Addison-WesleyDescription: xii,477ISBN: - 0201142309
- 004.415.28 GEH
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Department of Computer Science General Stacks | 004.415.28 GEH (Browse shelf(Opens below)) | Available | MCS01629 |
Browsing Department of Computer Science shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
No cover image available |
|
|
||
| 004.415.2 WIL;3 Real-time systems development / | 004.415.2 WIL;4 Real-time systems development / | 004.415.28 DAH Software portability and standards | 004.415.28 GEH Software specification techniques | 004.415.5 ART Measuring programmer productivity | 004.415.5 BER Formal methods of program verification | 004.415.5 BER Formal methods of program verification |
There are no comments on this title.