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
Browsing Alfaisal University Shelves , Shelving location: On Shelf Close shelf browser
QA76.76.D47 H49 2019 Semantic Software Design | QA76.76.D47 H633 2020 Embedded software development for safety-critical systems / | QA76.76.D47 J288 2021 The essence of software : why concepts matter for great design / | QA76.76.D47 J29 2012 Software abstractions : logic, language, and analysis / | QA76.76 .D47 K555 2016 The DevOps handbook : how to create world-class agility, reliability, & security in technology organizations / | QA76.76.D47 L38 2020 Agile project management for dummies 3e / | QA76.76 .D47 L39 2017 Agile project management for dummies, 2nd edition / |
Includes bibliographical references (p. [337]-343) and index.