Order by 12PM ET on 6/11 for Delivery by Father's Day | Find a giftOrder by 12PM ET on 6/11 for Delivery by Father's Day | Find a gift
Add Item to wish listAdd Item to wish list

Software Engineering with OBJ: Algebraic Specification in Action

By Joseph A. Goguen (Editor), Grant Malcolm (Editor)
Paperback
$219.99
By Joseph A. Goguen (Editor), Grant Malcolm (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or m...

Categories