German 5

Download PDF by Prof. Dr. rer. nat. Hans-Dieter Ehrich, Dr. rer. nat. Martin: Algebraische Spezifikation abstrakter Datentypen: Eine

Posted On March 16, 2018 at 2:15 am by / Comments Off on Download PDF by Prof. Dr. rer. nat. Hans-Dieter Ehrich, Dr. rer. nat. Martin: Algebraische Spezifikation abstrakter Datentypen: Eine

SIGN Insgesamt ergeben sich somit die folgenden Zusammenhiinge zwischen den bisher definierten Kategorien und Funktoren: SPEC SIG - - - - - . SIGN 1~ THEO • TH l SIG ADT Wir haben hierbei benutzt, daB sich MOD auch als Funktor auf SPEC statt auf THEO auffassen laBt. 3 Strukturierte Spezifikationen Die durch einen Signatur-Morphismus f : 171 --+ 172 definierte 'Obersetzung !

Download PDF sample

Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie by Prof. Dr. rer. nat. Hans-Dieter Ehrich, Dr. rer. nat. Martin Gogolla, Prof. Dr. rer. nat. habil. Udo Walter Lipeck (auth.)


by Donald
4.1

Rated 4.20 of 5 – based on 10 votes