Skip to content

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

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

by Daniel Jackson


From the publisher

'Software Abstraction' introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This text introduces the key elements of the approach - which Jackson calls 'lightweight formal methods' or 'agile modelling'.

Details

  • Title Software Abstractions: Logic, Language, and Analysis
  • Author Daniel Jackson
  • Binding Hardcover
  • Edition International Ed
  • Pages 350
  • Volumes 1
  • Language ENG
  • Publisher MIT Press (MA), U.S.A.
  • Date 2006-03
  • Illustrated Yes
  • ISBN 9780262101141 / 0262101149
  • Weight 1.32 lbs (0.60 kg)
  • Dimensions 9.32 x 6.12 x 0.9 in (23.67 x 15.54 x 2.29 cm)
  • Library of Congress subjects Computer software - Development
  • Library of Congress Catalog Number 2005056155
  • Dewey Decimal Code 005.1
Back to Top

More Copies for Sale

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

Software Abstractions : Logic, Language, and Analysis

by Jackson, Daniel

  • Used
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity Available
3
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£6.26
FREE shipping to USA

Show Details

Description:
MIT Press. Used - Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
£6.26
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

  • Used
  • Hardcover
Condition
Used Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity Available
1
Seller
Pella, Iowa, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£9.66
£6.07 shipping to USA

Show Details

Description:
Mit Pr. Hardcover . Used Very Good/no No Jacket.
Item Price
£9.66
£6.07 shipping to USA
Software Abstractions – Logic, Language, and Analysis (OIP)

Software Abstractions – Logic, Language, and Analysis (OIP)

by Jackson, Daniel

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity Available
3
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
£18.57
£8.57 shipping to USA

Show Details

Description:
Hardback. Very Good.
Item Price
£18.57
£8.57 shipping to USA
Software Abstractions: Logic, Language, and Analysis
Stock Photo: Cover May Be Different

Software Abstractions: Logic, Language, and Analysis

by Daniel Jackson

  • Used
  • Hardcover
Condition
Used:Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
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
£36.79
FREE shipping to USA

Show Details

Description:
The MIT Press, 2006-03-24. Hardcover. Used:Good.
Item Price
£36.79
FREE 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
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£51.25
£4.41 shipping to USA

Show Details

Description:
The MIT Press. hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
£51.25
£4.41 shipping to USA