Software abstractions : logic, language and analysis
Material type: TextPublication details: Cambridge, Mass. : MIT Press, c2006.Description: xvi, 350 p. : ill. ; 24 cmISBN:- 0262101149
- 9788120331709
- 005.1 22 JAC-S
- QA76.76.D47 J29 2006
- 54.10
- 54.52
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD General Stacks | Computer Science and Engineering | 005.1 JAC-S (Browse shelf(Opens below)) | Available | 003372 |
Total holds: 0
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Computer Science and Engineering Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.1 HOR-F Fundamentals of computer algorithms | 005.1 HUM-C Continuous delivery : | 005.1 HUN-P Pragmatic unit testing : | 005.1 JAC-S Software abstractions : | 005.1 JAL-C Concise introduction to software engineering | 005.1 JAL-I An integrated approach to software engineering | 005.1 JAL-I An integrated approach to software engineering |
Includes bibliographical references (p. [333]-339) and index.
There are no comments on this title.