Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Fundamentals of Algebraic Specification 1

106,99 €*

Sofort verfügbar, Lieferzeit: 1-3 Tage

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