Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics (Paperback, Softcover reprint of the original 1st ed. 1985)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Monographs in Theoretical Computer Science. An EATCS Series, 6
Release date:	November 2011
First published:	1985
Authors:	Hartmut Ehrig • Bernd Mahr
Dimensions:	244 x 170 x 18mm (L x W x T)
Format:	Paperback
Pages:	321
Edition:	Softcover reprint of the original 1st ed. 1985
ISBN-13:	978-3-642-69964-1
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > General Books > Science & Mathematics > Mathematics > Algebra > General Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-642-69964-2
Barcode:	9783642699641

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!