portada Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (en Inglés)

Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (en Inglés)

Formato

Libro Físico

Autor

Hartmut Ehrig

Ingo Claben

Dietmar Wolz

Editorial

World Scientific Publishing Company

Año

1993

Idioma

Inglés

N° páginas

256

Encuadernación

Tapa Dura

Dimensiones

22.3x16.2x1.9 cm

Peso

0.49 kg.

ISBN

9810212275

ISBN13

9789810212278

Categorías

Programación informática/desarrollo de software
Ciencias de la computación

Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (en Inglés)

Hartmut Ehrig (Autor) · Ingo Claben (Autor) · Dietmar Wolz (Autor) · World Scientific Publishing Company · Tapa Dura

Libro Nuevo Importado

Envío: 17 a 26 días háb.

$ 170.17$ 85.08

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Última Unidad

$ 85.08

Llega entre el 09 Sep y el 24 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (en Inglés)"

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.