BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Software Abstractions: Logic, Language, and Analysis
Stock photo: cover may vary

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

by Daniel Jackson

Add to wish list

Reader reviews for Software Abstractions: Logic, Language, and Analysis

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 Hardback
  • Edition International Ed
  • Pages 350
  • Volumes 1
  • Language ENG
  • Publisher MIT Press (MA), U.S.A.
  • Publication 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)
  • Category Computers - Languages / Programming
  • Library of Congress subjects Computer software - Development
  • Library of Congress Catalogue Number 2005056155
  • Dewey Decimal Code 005.1

More Copies for Sale

Software Abstractions: Logic, Language, And Analysis
Stock photo: cover may vary

Software Abstractions: Logic, Language, And Analysis

by Jackson, Daniel

  • Used
  • Acceptable
  • Hardback
Condition
Acceptable
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity available
1
Seller
Item price
A$10.24
Free Delivery to USA

Show details

Description:
Mit Pr, 2006-01-01. hardcover. Acceptable. 6x1x9.
Add to wish list
Item price
A$10.24
Free Delivery to USA
Software Abstractions: Logic, Language, And Analysis
Stock photo: cover may vary

Software Abstractions: Logic, Language, And Analysis

by Daniel Jackson

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity available
1
Seller
Item price
A$10.78
Free Delivery to USA

Show details

Description:
Mit Pr, 2006. Hardcover. Very Good. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
Item price
A$10.78
Free Delivery to USA
Software Abstractions – Logic, Language, and Analysis (OIP)

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

by Jackson, Daniel

  • Used
  • Acceptable
  • Hardback
Condition
Acceptable
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity available
1
Seller
Item price
A$19.40
A$16.37 Delivery to USA

Show details

Description:
Hardback. Acceptable.
Add to wish list
Item price
A$19.40
A$16.37 Delivery to USA
Software Abstractions : Logic, Language, and Analysis
Stock photo: cover may vary

Software Abstractions : Logic, Language, and Analysis

by Jackson, Daniel

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity available
1
Seller
Item price
A$14.62
Free Delivery to USA

Show details

Description:
MIT Press. Used - Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Add to wish list
Item price
A$14.62
Free Delivery to USA
Software Abstractions : Logic, Language, and Analysis
Stock photo: cover may vary

Software Abstractions : Logic, Language, and Analysis

by Jackson, Daniel

  • Used
Condition
Used
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity available
1
Seller
Item price
A$14.62
Free Delivery to USA

Show details

Description:
MIT Press. Used - Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Add to wish list
Item price
A$14.62
Free Delivery to USA
Software Abstractions: Logic, Language, And Analysis
Stock photo: cover may vary

Software Abstractions: Logic, Language, And Analysis

by Daniel Jackson

  • Used
  • Hardback
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity available
1
Seller
Item price
A$16.93
A$10.64 Delivery to USA

Show details

Description:
Mit Pr. Hardcover . Used Very Good/no No Jacket.
Add to wish list
Item price
A$16.93
A$10.64 Delivery to USA
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis

by Jackson, Daniel

  • Used
  • Hardback
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity available
1
Seller
Item price
A$21.27
A$7.08 Delivery to USA

Show details

Description:
The MIT Press, 2006-03-24. hardcover. Used-Very Good/n/a.
Add to wish list
Item price
A$21.27
A$7.08 Delivery to USA
Software Abstractions: Logic, Language, And Analysis
Stock photo: cover may vary

Software Abstractions: Logic, Language, And Analysis

by Jackson, Daniel

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity available
1
Seller
Item price
A$50.17
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$50.17
Free Delivery to USA
Software Abstractions: Logic, Language, and Analysis
Stock photo: cover may vary

Software Abstractions: Logic, Language, and Analysis

by Jackson, Daniel

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780262101141 / 0262101149
Quantity available
1
Seller
Item price
A$135.23
A$8.44 Delivery to USA

Show details

Description:
The MIT Press. hardcover. New. New. In shrink wrap. Looks like an interesting title!
Add to wish list
Item price
A$135.23
A$8.44 Delivery to USA