Software abstractions : logic, language and analysis / Daniel Jackson.
2006
QA76.76.D47 J29 2006 (Mapit)
Available at General Collection
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Items
Details
Title
Software abstractions : logic, language and analysis / Daniel Jackson.
Author
ISBN
0262101149 (alk. paper)
9780262101141 (alk. paper)
0262101159 (alk. paper)
9780262101141 (alk. paper)
0262101159 (alk. paper)
Published
Cambridge, Mass. : MIT Press, [2006]
Copyright
©2006
Language
English
Description
xvi, 350 pages : illustrations ; 24 cm
Call Number
QA76.76.D47 J29 2006
Dewey Decimal Classification
005.1
Bibliography, etc. Note
Includes bibliographical references (p. [333]-339) and index.
Record Appears in