BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Stock photo: cover may vary

Software Abstractions: Logic, Language, and Analysis Hardback - 2012

by Jackson, Daniel

Add to wish list
  • Used
Used - Good

Description

Mit Pr. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Ask the seller a question Add to wish list
A$103.15
A$17.12 Delivery to USA
Standard delivery: 14 to 21 days
More delivery options
Ships from Phatpocket Limited (Essex, United Kingdom)

Details

  • Title Software Abstractions: Logic, Language, and Analysis
  • Author Jackson, Daniel
  • Binding Hardback
  • Edition INTERNATIONAL ED
  • Condition Used - Good
  • Pages 376
  • Volumes 1
  • Language ENG
  • Publisher Mit Pr, Cambridge, MA, U.S.A. & London
  • Publication date 2012-02
  • Bookseller's Inventory # Z1-J-021-02755
  • ISBN 9780262017152 / 0262017156
  • Weight 1.38 lbs (0.63 kg)
  • Dimensions 8.99 x 6.44 x 0.87 in (22.83 x 16.36 x 2.21 cm)
  • Age range 18 to UP years
  • Grade levels 13 - UP
  • Category Computers - Languages / Programming
  • Library of Congress subjects Computer software - Development
  • Library of Congress Catalogue Number 2011024317
  • Dewey Decimal Code 005.1

About Phatpocket Limited Essex, United Kingdom

Biblio member since 2006

Phatpocket Limited is a world class secondhand bookstore located in the Hertfordshire countryside in the United Kingdom. We specialize in textbooks across an enormous variety of subjects. We aim to provide a low cost source of high quality textbooks to the academic community. We also have a sizable collection of rare and collectible books.

We are dedicated to providing our customers with the highest standard of customer service in the bookselling business.

Terms of Sale:

Books are usually shipped in 48 hours or less. All of our books have a 14 day no hassle money back guarantee unless stated otherwise in the book's description. Item must be returned in the exact same condition that it was received. Through our work with The Rainbow Centre and other Charity Partners, we have already given hundreds of young people in Sri Lanka and Africa the vital chance to get an education.

Browse books from Phatpocket Limited

Reader reviews for Software Abstractions: Logic, Language, and Analysis

From the publisher

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or "agile modeling"--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.

About the author

Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.

tracking-