Error title
Some error text about your books and stuff.
Close

Software Engineering With Obj Algebraic Specification in Action

by Joseph Goguen

  • ISBN: 9780792377573
  • ISBN10: 0792377575

Software Engineering With Obj Algebraic Specification in Action

by Joseph Goguen

  • List Price: $299.00
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 03/01/2000
  • ISBN: 9780792377573
  • ISBN10: 0792377575
used Add to Cart $216.26
You save: 28%
Marketplace Item
new Add to Cart $247.93
You save: 17%
FREE economy shipping!
Description: This book 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 more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties.
Expand description
Seller Condition Comments Price  
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$216.26
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$216.26
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).