Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Books - MIT Press Ltd - 9780262528900 - February 12, 2016
In case cover and title do not match, the title is correct

Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition

Jackson, Daniel (Massachusetts Institute of Technology)

Price
DKK 307.20
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 9 - 21

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition

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     Paperback Book   (Book with soft cover and glued back)
Released February 12, 2016
ISBN13 9780262528900
Publishers MIT Press Ltd
Pages 376
Dimensions 231 × 154 × 23 mm   ·   498 g
Language English  
Show all

More by Jackson, Daniel (Massachusetts Institute of Technology)

See all of Jackson, Daniel (Massachusetts Institute of Technology) ( e.g. Hardcover Book and Paperback Book )