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
R 782
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Nov 3 - 9
Christmas presents can be returned until 31 January
Get notified about new Jackson, Daniel (Massachusetts Institute of Technology) releases

Our customers say:

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

Not rated yet

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  

More from the same publisher

See all of Jackson, Daniel (Massachusetts Institute of Technology)