Software Engineering with OBJ - Algebraic Specification in Action - Hardback - 2000
Estado :
Novo
Vendido por
País de expedição : Reino Unido
Resumo
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.
Year of publication: 2000
Pagination: 410 pages, biography
Format: Hardback
Serie: Advances in Formal Methods
Editor: Joseph A. Goguen, Grant Malcolm
Year of publication: 2000
Pagination: 410 pages, biography
Format: Hardback
Serie: Advances in Formal Methods
Editor: Joseph A. Goguen, Grant Malcolm
Software Engineering with OBJ - Algebraic Specification in...
Resumo
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.
Year of publication: 2000
Pagination: 410 pages, biography
Format: Hardback
Serie: Advances in Formal Methods
Editor: Joseph A. Goguen, Grant Malcolm
Year of publication: 2000
Pagination: 410 pages, biography
Format: Hardback
Serie: Advances in Formal Methods
Editor: Joseph A. Goguen, Grant Malcolm
Publicidade
Avaliações dos nossos clientes
Software Engineering with OBJ - Algebraic Specification in Action - Hardback - 2000
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Kluwer Academic Publishers
- Dimensão
-
234 x 156 x 25
- Peso
-
796
- Tema
-
Computer programming / software development
- Origem
-
United States
- EAN
-
9780792377573
Publicidade
Publicidade