Fundamentals of Algebraic Specification 1: Equations and Initial Semantics Softcover Repri Edition Contributor(s): Ehrig, Hartmut (Author), Mahr, Bernd (Author) |
|
ISBN: 3642699642 ISBN-13: 9783642699641 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: November 2011 |
Additional Information |
BISAC Categories: - Reference | Questions & Answers - Computers | Logic Design - Computers | Programming Languages - General |
Dewey: 001.642 |
Series: Monographs in Theoretical Computer Science. an Eatcs |
Physical Information: 0.71" H x 6.69" W x 9.61" (1.19 lbs) 321 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |