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网络公开度




书目名称Algebraische Spezifikation abstrakter Datentypen网络公开度学科排名




书目名称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.

产生

口诀

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.

放肆的我

窝转脊椎动物

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.

物种起源