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影響因子(影響力)學科排名




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




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




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




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




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




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




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




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

Thyroid-Gland

antenna

有抱負者

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)脊椎動物

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.

物種起源