Fundamentals of Algebraic Specification 1
Produktnummer:
18aa518146a95e4e09931523c6db972cf4
Autor: | Ehrig, Hartmut Mahr, Bernd |
---|---|
Themengebiete: | Mathematica Semantik Software-Spezifikation abstract data types abstrakte Datentypen algebra algebraische Spezifikation computer science initiale Semantik semantics |
Veröffentlichungsdatum: | 23.11.2011 |
EAN: | 9783642699641 |
Sprache: | Englisch |
Seitenzahl: | 321 |
Produktart: | Kartoniert / Broschiert |
Verlag: | Springer Berlin |
Untertitel: | Equations and Initial Semantics |
Produktinformationen "Fundamentals of Algebraic Specification 1"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen