Skip to content

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

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

by Daniel Jackson


Details

  • Title Software Abstractions: Logic, Language, and Analysis
  • Author Daniel Jackson
  • Binding Hardcover
  • Edition INTERNATIONAL ED
  • Pages 376
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cambridge, MA, U.S.A. & London
  • Date 2012-02
  • 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)
  • Ages 18 to UP years
  • Grade levels 13 - UP
  • Library of Congress subjects Computer software - Development
  • Library of Congress Catalog Number 2011024317
  • Dewey Decimal Code 005.1

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.

Back to Top

More Copies for Sale

Software Abstractions – Logic, Language, and Analysis 2e (The MIT Press)

Software Abstractions – Logic, Language, and Analysis 2e (The MIT Press)

by Jackson, Daniel

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780262017152 / 0262017156
Quantity Available
1
Seller
GORING BY SEA, West Sussex, United Kingdom
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
SGD 16.71
SGD 14.72 shipping to USA

Show Details

Description:
Paperback. Very Good.
Item Price
SGD 16.71
SGD 14.72 shipping to USA
Software Abstractions: Logic, Language, and Analysis
Stock Photo: Cover May Be Different

Software Abstractions: Logic, Language, and Analysis

by Jackson, Daniel

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Edition
Revised
Binding
Hardcover
ISBN 10 / ISBN 13
9780262017152 / 0262017156
Quantity Available
2
Seller
McKeesport, Pennsylvania, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 35.85
SGD 5.14 shipping to USA

Show Details

Description:
Mit Pr, 2/1/2012. Revised. hardcover. Very Good. 0x6x9. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting.
Item Price
SGD 35.85
SGD 5.14 shipping to USA
Software Abstractions: Logic, Language, and Analysis (The MIT Press)
Stock Photo: Cover May Be Different

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

by Jackson, Daniel

  • Used
  • Hardcover
Condition
Used: Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262017152 / 0262017156
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
SGD 51.72
FREE shipping to USA

Show Details

Description:
The MIT Press, 2012-02-01. Hardcover. Used: Good.
Item Price
SGD 51.72
FREE shipping to USA