Software abstractions : logic, language and analysis / Daniel Jackson.
Material type: TextPublication details: Cambridge, Mass. : MIT Press, c2006.Description: xvi, 350 p. : ill. ; 24 cmISBN:- 9788120331709
- 005.1 22
- QA76.76.D47 J29 2006
- 54.10
- 54.52
Reviews from LibraryThing.com:
Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Main Long | Martin Oduor-Otieno Library This item is located on the library Second Floor | Non-fiction | QA76.76.D47 J29 2006 (Browse shelf(Opens below)) | 15004/08 | Available | Z00009873 |
Includes bibliographical references (p. [333]-339) and index.
There are no comments on this title.