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
  • 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.
Back to Top

More Copies for Sale

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
Condition
UsedGood
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity Available
1
Seller
Brooklyn Park, Minnesota, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 17.08
SGD 4.08 shipping to USA

Show Details

Description:
UsedGood. Cover/Case has some rubbing and edgewear. Access codes, CD's, slipcovers and other accessories may not be included.
Item Price
SGD 17.08
SGD 4.08 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
UsedLikeNew
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity Available
1
Seller
San Rafael, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 25.85
SGD 5.44 shipping to USA

Show Details

Description:
UsedLikeNew. Text block, wraps and binding are in like new condition, without markings of any kind. Well packaged and promptly shipped from California. Partnered with Friends of the Library since 2010.
Item Price
SGD 25.85
SGD 5.44 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
SGD 83.48
SGD 17.18 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
SGD 83.48
SGD 17.18 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 2 of 5 Stars rating from Biblio customers.
Item Price
SGD 76.68
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
SGD 76.68
FREE 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
SGD 81.85
SGD 20.45 shipping to USA

Show Details

Description:
The MIT Press. New. Special order direct from the distributor
Item Price
SGD 81.85
SGD 20.45 shipping to USA