Software abstractions logic, language and analysis
| Main Author: | |
|---|---|
| Resource Type: | Book |
| Language: | English |
| Published: |
Cambridge, Mass.
MIT Press
c2006.
|
| Subjects: |
College of Engineering Library II (UP Diliman)
| Accession # | Call # | Volume/Part# | Copy # | Collection | Circulation Type | Circulation Status |
|---|---|---|---|---|---|---|
| E2-546 | QA 76.76 D47 / J33 2006 | Regular Circulation | On-Shelf |