Software Abstractions : Logic, Language, and Analysis
Language: English
Published by MIT Press, 2011
- Hardcover
- Used
Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
AbeBooks seller since March 14, 2016
Condition: Used - Very good
US$ 22.50
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # 57852804-75
- Title
- Software Abstractions : Logic, Language, and Analysis
- Author
- Jackson, Daniel
- Publisher
- MIT Press
- Publication year
- 2011
- Condition
- Very Good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0262017156
- ISBN 13
- 9780262017152
- Item weight
- 1.839 pounds
- Dimensions
- N/A
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 approachwhich Jackson calls lightweight formal methods or agile modelingtakes 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.
"Synopsis" may belong to another edition of this title.
About the Author
Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.
"About the title" may belong to another edition of this title.
Better World Books: West
Reno, NV, U.S.A.
AbeBooks seller since March 14, 2016
Shipping rates within U.S.A.
| Item | 4 to 8 business days | 3 to 5 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 13.00 |
Payment methods
Store description
Seller's business information
Better World Books Marketplace, Inc.
55742 Currant Road
Mishawaka, IN U.S.A. 46545
Terms of sale
Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.
If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostly in used books, any extra components, such as CDs, DVDs, figurines, or access codes are not included.
Shipping terms
Please allow 1-2 business days for order fulfillment.