Author

Contributions

  • Mahr, B. (Bernd) - Contributor

Publication

1985 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany

Language

English

Word Count

80,250 words, Guess

Page Count

321 pages

Physical Format

Electronic resource

Identifiers

and 1 more

Classifications

  • LCCQA75.5-76.95

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.

Subjects

Series Statement

  • EATCS Monographs on Theoretical Computer Science, 1431-2654 -- 6
  • EATCS monographs on theoretical computer science -- 6.

Links

Other Editions

  • Fundamentals of Algebraic Specification 1: Equations and Initial SemanticsElectronic resourceSpringer Berlin Heidelberg1985-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!