Skip to content

Software Abstractions, revised edition: Logic, Language, and Analysis
Stock Photo: Cover May Be Different

Software Abstractions, revised edition: Logic, Language, and Analysis Paperback - 2016

by Daniel Jackson

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
  • 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)
  • Ages 18 to UP years
  • Grade levels 13 - UP
  • Themes
    • Aspects (Academic): Science/Technology Aspects
  • 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

Software Abstractions

by Daniel (Massachusetts Institute of Technology) Jackson

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity Available
961
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$41.93
$10.75 shipping to USA

Show Details

Description:
Paperback / softback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Item Price
$41.93
$10.75 shipping to USA
Software Abstractions, Revised Edition : Logic, Language, and Analysis
Stock Photo: Cover May Be Different

Software Abstractions, Revised Edition : Logic, Language, and Analysis

by Jackson, Daniel

  • Used
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity Available
1
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$32.45
FREE shipping to USA

Show Details

Description:
MIT Press. Used - Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
$32.45
FREE shipping 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
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$56.76
$13.39 shipping 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.
Item Price
$56.76
$13.39 shipping to USA
Software Abstractions – Logic, Language, and Analysis
Stock Photo: Cover May Be Different

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
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$62.57
$13.46 shipping to USA

Show Details

Description:
Mit Pr, 2016. Paperback. New. 2nd revised edition. 376 pages. 9.00x6.00x0.63 inches.
Item Price
$62.57
$13.46 shipping to USA
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Stock Photo: Cover May Be Different

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

by Jackson, Daniel

  • Used
  • Paperback
Condition
Used:Good
Edition
Revised
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$47.78
FREE shipping to USA

Show Details

Description:
MIT Press, 2016-02-12. Revised. paperback. Used:Good.
Item Price
$47.78
FREE shipping to USA
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Stock Photo: Cover May Be Different

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

by Jackson, Daniel

  • Used
  • Paperback
Condition
Used: Good
Edition
Revised
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$47.78
FREE shipping to USA

Show Details

Description:
MIT Press, 2016-02-12. Revised. paperback. Used: Good.
Item Price
$47.78
FREE shipping to USA
Software Abstractions: Logic, Language, and Analysis
Stock Photo: Cover May Be Different

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
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$65.06
$13.39 shipping 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.
Item Price
$65.06
$13.39 shipping to USA
Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press)
Stock Photo: Cover May Be Different

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

by Jackson, Daniel

  • New
Condition
New
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity Available
103
Seller
Victoria, British Columbia, Canada
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$60.00
$14.99 shipping to USA

Show Details

Description:
The MIT Press. New. Special order direct from the distributor
Item Price
$60.00
$14.99 shipping to USA
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Stock Photo: Cover May Be Different

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

by Jackson, Daniel

  • Used
  • Good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity Available
1
Seller
Newport Coast, California, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$61.43
FREE shipping to USA

Show Details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
$61.43
FREE shipping to USA