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

只看該作者 · 發(fā)表于 2025-3-26 22:53:38

Introduction: Democracy and Salamis,infilhrung; Fehlerfortpflanzung; Fehlerbeseitigung; Korrektheit; Kontext; konsistente und abdeckende Axiome; Existenz von finalen Algebren; implizite Ungleichung; Ok/Fehler-disjunkte Signatur; Ok/Fehler-disjunkte Algebra; ausgezeichnete Fehlerkonstante; punktierte Fehleralgebra; implizite Fehlerfortpflanzung.

只看該作者 · 發(fā)表于 2025-3-27 02:44:31

只看該作者 · 發(fā)表于 2025-3-27 07:13:40

只看該作者 · 發(fā)表于 2025-3-27 12:11:20

只看該作者 · 發(fā)表于 2025-3-27 16:48:24

只看該作者 · 發(fā)表于 2025-3-27 17:58:32

只看該作者 · 發(fā)表于 2025-3-28 01:39:34

只看該作者 · 發(fā)表于 2025-3-28 02:43:10

Parametrisierung,einer parametrischen Spezifikation; Abwendung von Namenkonflikten mittels Pushouts; Mehrfache Anwendung von parametrischen Spezifikationen; Assoziativit?t der Anwendung; Parametrische abstrakte Datentypen (PADTen); (streng) persistente, minimale und reduzierte PADTen; Zusammenhang zwischen streng pe

只看該作者 · 發(fā)表于 2025-3-28 09:40:42

PADT-Konstruktion,ationen; Pushouts in ADT; übertragung von Persistenz; Extension Lemma; Sichten; parametrische Anwendung eines PADTs; Quasi-Assoziativit?t der Anwendung; spezielle parametrische Anwendungen: Kombination, Erweiterung, Anreicherung und Ableitung; Reduktion eines PADTs; Vertr?glichkeit von Reduktion und

只看該作者 · 發(fā)表于 2025-3-28 13:38:16

		自動(dòng)登錄	找回密碼
密碼			To register

關(guān)于派博傳思			派博傳思旗下網(wǎng)站			友情鏈接
派博傳思介紹	公司地理位置	論文服務(wù)流程	影響因子官網(wǎng)	吾愛(ài)論文網(wǎng)	大講堂	北京大學(xué)	Oxford Uni.	Harvard Uni.
發(fā)展歷史沿革	期刊點(diǎn)評(píng)	投稿經(jīng)驗(yàn)總結(jié)	SCIENCEGARD	IMPACTFACTOR	派博系數(shù)	清華大學(xué)	Yale Uni.	Stanford Uni.
\|Archiver\|手機(jī)版\|小黑屋\| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-10 05:43
Copyright © 2001-2015 派博傳思京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved