Hartmut Ehrig: Fundamentals of Algebraic Specification 1, Kartoniert / Broschiert

Hartmut Ehrig, Bernd Mahr

Fundamentals of Algebraic Specification 1

Buch

Equations and Initial Semantics

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 109,51

Verlängerter Rückgabezeitraum bis 31. Januar 2026

Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2025 gekauft wurden, können bis zum 31. Januar 2026 zurückgegeben werden.

Versandkosten (United States of America): EUR 19,90

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.