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 i...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1985.
|
| Series: | EATCS monographs on theoretical computer science ;
6. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (XI, 321 pages) |
| ISBN: | 9783642699627 (electronic bk.) 3642699626 (electronic bk.) |