Hartmut Ehrig: Fundamentals of Algebraic Specification 1, Kartoniert / Broschiert
Fundamentals of Algebraic Specification 1
- Equations and Initial Semantics
(soweit verfügbar beim Lieferanten)
- Verlag:
- Springer, 11/2011
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9783642699641
- Artikelnummer:
- 2956337
- Umfang:
- 340 Seiten
- Copyright-Jahr:
- 2011
- Gewicht:
- 575 g
- Maße:
- 245 x 170 mm
- Stärke:
- 23 mm
- Erscheinungstermin:
- 23.11.2011
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.