Software Abstractions, revised edition: Logic, Language, and Analysis (Mit P...
US $18.87
Condition:
Very Good
A book that does not look new and has been read but is in excellent condition. No obvious damage to the cover, with the dust jacket (if applicable) included for hard covers. No missing or damaged pages, no creases or tears, and no underlining/highlighting of text or writing in the margins. May be very minimal identifying marks on the inside cover. Very minimal wear and tear. See the seller’s listing for full details and description of any imperfections.
- Buy It NowSoftware Abstractions, revised edition: Logic, Language, and Analysis (Mit P...
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Standard Shipping.
Located in: Blue Springs, Missouri, United States
Delivery:
Estimated between Mon, May 19 and Sat, May 24 to 43230
Returns:
14 days returns. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Payments:
Special financing available. See terms and apply now- for PayPal Credit, opens in a new window or tab
Earn up to 5x points when you use your eBay Mastercard®. Learn moreabout earning points with eBay Mastercard
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:156769498111
Item specifics
- Condition
- Release Year
- 2016
- Book Title
- Software Abstractions, revised edition: Logic, Language, and A...
- ISBN
- 9780262528900
- Subject Area
- Computers
- Publication Name
- Software Abstractions, Revised Edition : Logic, Language, and Analysis
- Publisher
- MIT Press
- Item Length
- 9.1 in
- Subject
- Software Development & Engineering / General, Software Development & Engineering / Systems Analysis & Design
- Publication Year
- 2016
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.7 in
- Features
- Revised
- Item Weight
- 17.6 Oz
- Item Width
- 6.1 in
- Number of Pages
- 376 Pages
About this product
Product Identifiers
Publisher
MIT Press
ISBN-10
0262528908
ISBN-13
9780262528900
eBay Product ID (ePID)
219294642
Product Key Features
Number of Pages
376 Pages
Publication Name
Software Abstractions, Revised Edition : Logic, Language, and Analysis
Language
English
Subject
Software Development & Engineering / General, Software Development & Engineering / Systems Analysis & Design
Publication Year
2016
Features
Revised
Type
Textbook
Subject Area
Computers
Format
Trade Paperback
Dimensions
Item Height
0.7 in
Item Weight
17.6 Oz
Item Length
9.1 in
Item Width
6.1 in
Additional Product Features
Edition Number
2
Intended Audience
Trade
Dewey Edition
22
Grade From
College Graduate Student
Illustrated
Yes
Dewey Decimal
005.1
Edition Description
Revised edition
Synopsis
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or "agile modeling"--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4., An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach-which Jackson calls "lightweight formal methods" or "agile modeling"-takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.
LC Classification Number
QA76.76.D47J29 2016
Item description from the seller
Popular categories from this store
Seller feedback (97,411)
- 2***7 (338)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat find. Great price. Item as described. Packaged nicely. Great communication with seller. I would purchase again from this seller. The book arrived late due to postal delays not the seller.Self-Love Workbook for Women: Release Self-Doubt, Build Self (#156605543175)
- a***a (494)- Feedback left by buyer.Past monthVerified purchaseReceived quickly - Fine condition - Well packed - Exact description - Great value - Top quality - Looks very good - Trusted seller – Good communication - Excellent service
- s***u (309)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat seller! The Kansas City, MO Post Office took about 11 days to get the package from "accepted at facility" to "in transit," but the seller was helpful when I contacted them about it. I would do business with them again. Paperback book was in great condition when it arrived! Great price too.The Lost Art of Reading Natures Signs: Use Outdoor Clues to Find Your Way, Predi (#156628259793)
More to explore :
- Language Course Revised Edition,
- English Language Courses Revised Edition,
- Paperback Language Course Revised Edition,
- Language Study Study Guides & Test Prep Revised Edition,
- Language Study Hardcover Study Guides & Test Prep Revised Edition,
- Revised Edition Textbooks,
- Encyclopedias Books Revised Edition,
- Mathematics Revised Edition Textbooks,
- Revised Edition Music Textbooks,
- Encyclopedias Books in English Revised Edition
Popular categories from this store
Seller feedback (97,411)
- 2***7 (338)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat find. Great price. Item as described. Packaged nicely. Great communication with seller. I would purchase again from this seller. The book arrived late due to postal delays not the seller.Self-Love Workbook for Women: Release Self-Doubt, Build Self (#156605543175)
- a***a (494)- Feedback left by buyer.Past monthVerified purchaseReceived quickly - Fine condition - Well packed - Exact description - Great value - Top quality - Looks very good - Trusted seller – Good communication - Excellent service
- s***u (309)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat seller! The Kansas City, MO Post Office took about 11 days to get the package from "accepted at facility" to "in transit," but the seller was helpful when I contacted them about it. I would do business with them again. Paperback book was in great condition when it arrived! Great price too.The Lost Art of Reading Natures Signs: Use Outdoor Clues to Find Your Way, Predi (#156628259793)