Name: A Unifying Framework for Structured Analysis and Design Models Hardback: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science) (en Inglés)
Price: 694611.00 COP
Availability: InStock
Author: Tse
ISBN: 9780521391962

portada A Unifying Framework for Structured Analysis and Design Models Hardback: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Tse

Año

1991

Idioma

Inglés

N° páginas

192

Encuadernación

Tapa Dura

ISBN

0521391962

ISBN13

9780521391962

N° edición

Categorías

Programación informática - desarrollo de software

A Unifying Framework for Structured Analysis and Design Models Hardback: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Tse (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo

$ 694.611

$ 1.052.441

Ahorras: $ 357.830

34% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 23 de Mayo y el Jueves 06 de Junio.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

Reseña del libro "A Unifying Framework for Structured Analysis and Design Models Hardback: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science) (en Inglés)"

Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr. Tse proposes a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus, this book will provide insight for software engineers into how methodologies can be formalized, and will open up a range of applications and problems for theoretical computer scientists.