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.
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
More Copies for Sale
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
- Item Price
-
$41.93$10.75 shipping to USA
Show Details
Item Price
$41.93
$10.75
shipping to USA
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
- Item Price
-
$32.45FREE 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
by Daniel Jackson
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780262528900 / 0262528908
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- 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
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
- 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
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
- Item Price
-
$47.78FREE shipping to USA
Show Details
Description:
MIT Press, 2016-02-12. Revised. paperback. Used:Good.
Item Price
$47.78
FREE shipping to USA
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
- Item Price
-
$47.78FREE shipping to USA
Show Details
Description:
MIT Press, 2016-02-12. Revised. paperback. Used: Good.
Item Price
$47.78
FREE shipping to USA
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
- 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
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
- 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
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
- Item Price
-
$61.43FREE 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