Compartir
fundamentals of algebraic specification 1: equations and initial semantics
Bernd Mahr
(Autor)
·
Hartmut Ehrig
(Autor)
·
Springer
· Tapa Blanda
fundamentals of algebraic specification 1: equations and initial semantics - Ehrig, Hartmut ; Mahr, Bernd
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
Reseña del libro "fundamentals of algebraic specification 1: equations and initial semantics"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.