Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Books - MIT Press Ltd - 9780262017152 - November 4, 2011
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

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

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

Also available as:

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

More by Jackson, Daniel (Massachusetts Institute of Technology)

Show all

Mere med samme udgiver

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