Programming Construction and Verification
Material type:
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Engineering Book | MVJCE CENTRAL LIBRARY | Computer Science Engineering | 005.284 BAC (Browse shelf (Opens below)) | weeded out | 14517 |
Browsing MVJCE CENTRAL LIBRARY shelves, Collection: Computer Science Engineering Close shelf browser (Hides shelf browser)
005.282 VAH UNIX Internals the New Frontiers | 005.282 VAN Introduction to UNIX and SHELL Progarmming | 005.282 VAN;1 Introduction to UNIX and SHELL Progarmming | 005.284 BAC Programming Construction and Verification | 005.3 HEL Multiplier Models | 005.3 HEL Multiplier Models | 005.3 HEL multi plans models |
There are no comments on this title.