Software Engineering with Obj: Algebraic Specification in Action - Advances in Formal Methods - Joseph Goguen - Książki - Kluwer Academic Publishers - 9780792377573 - 30 kwietnia 2000
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Joseph Goguen

Cena
zł 1.009,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 17 gru
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

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

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