Powiedz znajomym o tym przedmiocie:
Software Engineering with Obj: Algebraic Specification in Action - Advances in Formal Methods
Joseph Goguen
Software Engineering with Obj: Algebraic Specification in Action - Advances in Formal Methods
Joseph Goguen
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 | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
Wydane | 30 kwietnia 2000 |
ISBN13 | 9780792377573 |
Wydawcy | Kluwer Academic Publishers |
Strony | 410 |
Wymiary | 156 × 234 × 25 mm · 793 g |
Język | English |
Redaktor | Goguen, Joseph A. |
Redaktor | Malcolm, Grant |
Pokaż wszystko
Więcej od Joseph Goguen
Zobacz wszystko od Joseph Goguen ( np. Paperback Book i Hardcover Book )