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

Skip to content

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

Software Abstractions, Revised Edition: Logic, Language, and Analysis Paperback - 2016

by Daniel Jackson

Add to wish list

Reader reviews for Software Abstractions, Revised Edition: 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.

Details

  • Title Software Abstractions, Revised Edition: Logic, Language, and Analysis
  • Author Daniel Jackson
  • Binding Paperback
  • Edition PAP/CDR
  • Pages 376
  • Volumes 1
  • Language ENG
  • Publisher MIT Press
  • Publication date 2016-02-12
  • Features Bibliography, Index
  • ISBN 9780262528900 / 0262528908
  • Weight 1.1 lbs (0.50 kg)
  • Dimensions 8.9 x 5.9 x 0.8 in (22.61 x 14.99 x 2.03 cm)
  • Age range 18 to UP years
  • Grade levels 13 - UP
  • Themes
    • Aspects (Academic): Science/Technology Aspects
  • Category Computers - Languages / Programming
  • Library of Congress subjects Computer software - Development
  • Dewey Decimal Code 005.1

About the author

Daniel Jackson is a photographer and Professor of Computer Science at MIT. His images of contemporary laboratories were shown at the MIT Museum in conjunction with a major exhibit of Berenice Abbott's MIT work in 2012, and other images have appeared in group shows nationwide.

More Copies for Sale

Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Stock photo: cover may vary

Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)

by Jackson, Daniel

  • Used
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
5
Seller
Item price
A$28.27A$25.45
Save A$2.82
Free Delivery to USA

Show details

Description:
MIT Press, 2/12/2016 12:00:01 A. paperback. Like New. 0.6299 in x 8.9764 in x 6.0236 in. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.
Add to wish list
Item price
A$28.27A$25.45
Save A$2.82
Free Delivery to USA
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Stock photo: cover may vary

Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)

by Jackson, Daniel

  • Used
  • Paperback
Condition
Used
Edition
Revised
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
1
Seller
Item price
A$27.95
Free Delivery to USA

Show details

Description:
MIT Press, 2016-02-12. Revised. paperback. Used: Good. 8.90x5.90x0.80. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$27.95
Free Delivery to USA
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Stock photo: cover may vary

Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)

by Jackson, Daniel

  • New
  • Paperback
Condition
New
Edition
Revised
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
6
Seller
Item price
A$45.09
Free Delivery to USA

Show details

Description:
MIT Press, 2016-02-12. Revised. paperback. New. 8.90x5.90x0.80. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$45.09
Free Delivery to USA
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis

by Daniel Jackson

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
10
Seller
Item price
A$82.49
A$18.99 Delivery to USA

Show details

Description:
Paperback / softback. New. An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Add to wish list
Item price
A$82.49
A$18.99 Delivery to USA
Software Abstractions, revised edition: Logic, Language, and Analysis

Software Abstractions, revised edition: Logic, Language, and Analysis

by Daniel Jackson

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
961
Seller
Item price
A$83.12
A$15.25 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; N/A
Add to wish list
Item price
A$83.12
A$15.25 Delivery to USA
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Stock photo: cover may vary

Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)

by Jackson, Daniel

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
1
Seller
Item price
A$62.35
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$62.35
Free Delivery to USA
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis

by Daniel Jackson

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
10
Seller
Item price
A$87.49
A$18.99 Delivery to USA

Show details

Description:
Paperback / softback. New. An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Add to wish list
Item price
A$87.49
A$18.99 Delivery to USA
Software Abstractions
Stock photo: cover may vary

Software Abstractions

by Jackson, Daniel,

  • New
Condition
New
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
5
Seller
Item price
A$69.17
A$5.66 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$69.17
A$5.66 Delivery to USA
Software Abstractions
Stock photo: cover may vary

Software Abstractions

by Jackson, Daniel,

  • Used
Condition
New
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
5
Seller
Item price
A$69.17
A$5.66 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$69.17
A$5.66 Delivery to USA
Software Abstractions – Logic, Language, and Analysis
Stock photo: cover may vary

Software Abstractions – Logic, Language, and Analysis

by Jackson, Daniel

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity available
2
Seller
Item price
A$104.59
A$47.70 Delivery to USA

Show details

Description:
Mit Pr, 2016. Paperback. New. 2nd revised edition. 376 pages. 9.00x6.00x0.63 inches.
Add to wish list
Item price
A$104.59
A$47.70 Delivery to USA