Software Engineering with Obj: Algebraic Specification in Action - Advances in Formal Methods - Joseph Goguen - Books - Kluwer Academic Publishers - 9780792377573 - April 30, 2000
In case cover and title do not match, the title is correct

Joseph Goguen
Software Engineering with Obj: Algebraic Specification in Action - Advances in Formal Methods

Price
$ 209.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

An introduction to OBJ, the widely used algebraic specification system. This book provides case studies, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a variety of ways to achieve a variety of practical aims in the system development process.

410 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 30, 2000
ISBN13 9780792377573
Publishers Kluwer Academic Publishers
Pages 410
Dimensions 156 × 234 × 25 mm   ·   793 g
Language English  
Editor Goguen, Joseph A.
Editor Malcolm, Grant

See all of Joseph Goguen ( e.g. Paperback Book and Hardcover Book )