Tell your friends about this item:
Software Abstractions: Logic, Language, and Analysis - The MIT Press Jackson, Daniel (Massachusetts Institute of Technology) Revised edition
Software Abstractions: Logic, Language, and Analysis - The MIT Press
Jackson, Daniel (Massachusetts Institute of Technology)
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
376 pages, 58 b&w illus.
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | November 4, 2011 |
| ISBN13 | 9780262017152 |
| Publishers | MIT Press Ltd |
| Pages | 376 |
| Dimensions | 234 × 161 × 24 mm · 630 g |