Software abstractions : logic, language and analysis
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 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 |
---|---|---|---|---|---|---|---|
![]() |
IIITD General Stacks | Computer Science and Engineering | 005.1 JAC-S (Browse shelf(Opens below)) | Available | 003372 |
Total holds: 0
Includes bibliographical references (p. [333]-339) and index.
There are no comments on this title.