Software abstractions : logic, language, and analysis / Daniel Jackson.
By: Jackson, Daniel.
Publisher: Cambridge, Mass. : MIT Press, c2012Edition: Rev. ed.Description: xviii, 354 p. : ill. ; 24 cm.ISBN: 9780262528900.Subject(s): Computer software -- DevelopmentGenre/Form: Print books.Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|
On Shelf | QA76.76.D47 J29 2012 (Browse shelf) | Available | AU0000000007663 |
Total holds: 0
Includes bibliographical references (p. [337]-343) and index.