Titlebook: Algebraische Spezifikation abstrakter Datentypen; Eine Einführung in d Hans-Dieter Ehrich,Martin Gogolla,Udo Walter Lipec Textbook 1989 Spr

Colossal

書目名稱Algebraische Spezifikation abstrakter Datentypen影響因子(影響力)




書目名稱Algebraische Spezifikation abstrakter Datentypen影響因子(影響力)學(xué)科排名




書目名稱Algebraische Spezifikation abstrakter Datentypen網(wǎng)絡(luò)公開(kāi)度




書目名稱Algebraische Spezifikation abstrakter Datentypen網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書目名稱Algebraische Spezifikation abstrakter Datentypen被引頻次




書目名稱Algebraische Spezifikation abstrakter Datentypen被引頻次學(xué)科排名




書目名稱Algebraische Spezifikation abstrakter Datentypen年度引用




書目名稱Algebraische Spezifikation abstrakter Datentypen年度引用學(xué)科排名




書目名稱Algebraische Spezifikation abstrakter Datentypen讀者反饋




書目名稱Algebraische Spezifikation abstrakter Datentypen讀者反饋學(xué)科排名

Thyroid-Gland

antenna

有抱負(fù)者

deviate

PADT-Konstruktion,g; spezielle parametrische Anwendungen: Kombination, Erweiterung, Anreicherung und Ableitung; Reduktion eines PADTs; Vertr?glichkeit von Reduktion und Anwendung; die zugeh?rigen PADT-Operatoren APPLY, COMBINE, P-EXTEND, P-ENRICH, P-DERIVE und REDUCE; Konstruktionsterme für PADTen; Normalform von Konstruktionstermen.

產(chǎn)生

口訣

Democracy and Prebendalism in NigeriaDaten und ihre Beschreibung beim Software-Entwurf; Datentypen sind Algebren; abstrakte Datentypen sind Klassen von Algebren; monomorphe und polymorphe abstrakte Datentypen; das Spezifikationsproblem; Aufgaben der Spezifikation; Anforderungen an eine Spezifikation; systematischer überblick über Spezifikationsmethoden; algebraische Spezifikation.

放肆的我

窩轉(zhuǎn)脊椎動(dòng)物

https://doi.org/10.1057/9780230283237Signatur-Morphismen; die Kategorie SIGN; übersetzung von Formeln und Modellen; Erfüllungssatz; ADT- und Theorie-Morphismen; die Kategorien ADT und THEO; die Funktoren TH und MOD; Darstellungssatz; die Kategorie SPEC; strukturierte Spezifikationen; die ADT-Operatoren REDUCE and EXPAND.

物種起源