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

Skip to content

Software Abstractions: Logic, Language, And Analysis

Software Abstractions: Logic, Language, And Analysis

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

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

by Daniel Jackson

Add to wish list
  • Used
  • Hardback
Used Very Good

Description

Mit Pr. Hardcover . Used Very Good/no No Jacket.
Ask the seller a question Add to wish list
A$17.29
A$10.86 Delivery within USA
Standard delivery: 7 to 14 days
More delivery options
Ships from Pella Books (Iowa, United States)

Details

  • Title Software Abstractions: Logic, Language, And Analysis
  • Author Daniel Jackson
  • Binding Hardback
  • Edition International Ed
  • Condition Used Very Good
  • Pages 350
  • Volumes 1
  • Language ENG
  • Publisher Mit Pr, U.S.A.
  • Publication date 2006-03
  • Illustrated Yes
  • Bookseller's Inventory # 235238
  • 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
  • Quantity available 1
  • Bookseller catalogues Computer

About Pella Books Iowa, United States

Biblio member since 2009

De Boekwinkel ~ Dutch for Pella's independent bookstore est. 1999. Located in a charming 1860 historic church worth seeing for its own sake and full of used, collectible, vintage, and local book treasures. We specialize in out-of-print, rare/scarce, and antiquarian books.

Terms of Sale:

Terms of Sale: Books returnable for refund (less shipping fees) within seven days; the same book must be returned in the same condition that it was in when it was shipped. Buyer pays return shipping. If you have any questions regarding a book, please e-mail or call before ordering. We are an open brick and mortar store; books are subject to prior sale. We can accept only prepaid orders. If not using a credit card, books are held for seven days pending payment. Books are shipped by U. S. Postal Service media rate unless other arrangements are made. Priority is at least $7.50 for the first book or more depending on the zone and weight and $2.00 for each additional book; please e-mail or call to inquire about priority. Shipping/handling for sets, oversize books, and international shipping is extra: please e-mail or call to inquire. Although we do not designate every oversize book in the description, we will e-mail for approval that shipping/handling or tax is added to the amount before we charge your credit card. For domestic orders, we accept VISA, MasterCard, check, and money order. Because of currency conversion charges, international orders must be made with credit card. Iowa residents must add 7% sales tax.

Browse books from Pella Books

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'.
tracking-