Fundamentals of Algebraic Specification 1 / Monographs in Theoretical Computer Science. An EATCS Series Bd.6 (PDF)
Equations and Initial Semantics
(Sprache: Englisch)
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...
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...
sofort als Download lieferbar
eBook (pdf)
98.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Fundamentals of Algebraic Specification 1 / Monographs in Theoretical Computer Science. An EATCS Series Bd.6 (PDF)“
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.
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.
Bibliographische Angaben
- Autoren: Hartmut Ehrig , Bernd Mahr
- 2012, 1985, 321 Seiten, Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3642699626
- ISBN-13: 9783642699627
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 19 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Fundamentals of Algebraic Specification 1 / Monographs in Theoretical Computer Science. An EATCS Series Bd.6"
Schreiben Sie einen Kommentar zu "Fundamentals of Algebraic Specification 1 / Monographs in Theoretical Computer Science. An EATCS Series Bd.6".
Kommentar verfassen