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

Jackson, Daniel (Massachusetts Institute of Technology)

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

Price
CA$ 66.49
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 3 - 15
Christmas presents can be returned until 31 January

Our customers say:

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

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 )