portada fundamentals of algebraic specification 1: equations and initial semantics (en Inglés)

fundamentals of algebraic specification 1: equations and initial semantics (en Inglés)

Formato

Libro Físico

Autor

Bernd Mahr

Hartmut Ehrig

Editorial

Springer

Año

2011

Idioma

Inglés

N° páginas

321

Encuadernación

Tapa Blanda

Dimensiones

24.4x17x1.8 cm

Peso

0.54 kg.

ISBN

3642699642

ISBN13

9783642699641

Categorías

Lenguajes de programación y extensión/scripting: general
Arquitectura y diseño lógico de ordenadores
Libros de juegos de preguntas y respuestas

fundamentals of algebraic specification 1: equations and initial semantics (en Inglés)

Bernd Mahr (Autor) · Hartmut Ehrig (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 195.63$ 97.82

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 97.82

Llega entre el 15 Sep y el 28 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "fundamentals of algebraic specification 1: equations and initial semantics (en Inglés)"

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.