Skip to main content
PBS logo
 
 

Search - Software Engineering with OBJ - Algebraic Specification in Action (ADVANCES IN FORMAL METHODS Volume 2) (Advances in Formal Methods)

Software Engineering with OBJ - Algebraic Specification in Action (ADVANCES IN FORMAL METHODS Volume 2) (Advances in Formal Methods)
Software Engineering with OBJ Algebraic Specification in Action - ADVANCES IN FORMAL METHODS Volume 2 - Advances in Formal Methods
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 f...  more »
ISBN-13: 9780792377573
ISBN-10: 0792377575
Publication Date: 3/1/2000
Pages: 440
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.