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 |
Browsing Martin Oduor-Otieno Library shelves, Shelving location: This item is located on the library Second Floor, Collection: Non-fiction Close shelf browser (Hides shelf browser)
QA76.76.D47 G33 1996 Patterns of software : | QA76.76.D47 H397 1998 The developer's guide to Oracle Web Application Server 3 / | QA76.76.D47 H468 2004 Software project management : | QA76.76.D47 J29 2006 Software abstractions : | QA76.76.D47 J35 1999 The Unified software development process / | QA76.76.D47 J35 1999 The Unified software development process / | QA76.76.D47 J355 2001 Developing applications with Exchange 2000 : |
Includes bibliographical references (p. [333]-339) and index.
There are no comments on this title.