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

More Copies for Sale

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
  • Good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780262528900 / 0262528908
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£13.03
FREE shipping to USA

Show Details

Description:
MIT Press, 2016. Paperback. Good. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
£13.03
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
New
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
£15.10
£3.18 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
£15.10
£3.18 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
£48.16
£10.00 shipping to USA

Show Details

Description:
Mit Pr, 2016. Paperback. New. 2nd revised edition. 376 pages. 9.00x6.00x0.63 inches.
Item Price
£48.16
£10.00 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
£48.35
£9.95 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
£48.35
£9.95 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 5 of 5 Stars rating from Biblio customers.
Item Price
£44.78
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
£44.78
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
£47.80
£11.94 shipping to USA

Show Details

Description:
The MIT Press. New. Special order direct from the distributor
Item Price
£47.80
£11.94 shipping to USA