Software abstractions : logic, language, and analysis/ Daniel Jackson
Material type:
TextPublication details: Cambridge : The MIT Press, 2012.Edition: Rev. edDescription: xviii, 354 p. : illISBN: - 9780262528900
- QA 76.76 JAC 2012
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Main Library On Shelf | QA 76.76 JAC 2012 (Browse shelf(Opens below)) | 1 | Available | 33729005015156 |
Includes bibliographical references and index
There are no comments on this title.
Log in to your account to post a comment.