The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects: fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which arethe basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense ofconcepts, which are introduced on a conceptual level andformalized in mathematical terms. The book is equally suitableas a text book for graduatecourses and as a reference for researchers and systemdevelopers.
- ISBN10 3540137181
- ISBN13 9783540137184
- Publish Date 1 March 1985
- Publish Status Active
- Out of Print 11 November 2010
- Publish Country DE
- Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Format Hardcover
- Pages 332
- Language English