This work doesn't have a description yet. Can you add one?
Subjects
| Edition | Availability |
|---|---|
|
1
Software abstractions: logic, language and analysis
2012, MIT Press
in English
- Rev. ed.
0262017156 9780262017152
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
