Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen

From MaRDI portal

Revision as of 04:58, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1166272

Jump to:navigation, search

zbMath0488.68024MaRDI QIDQ1166272

Peter Pepper, Martin Wirsing, Manfred Broy, Helmut Partsch, Friedrich L. Bauer, Walter Dosch

Publication date: 1982

Published in: Informatik Spektrum (Search for Journal in Brave)

zbMATH Keywords

implementation algebraic specification of abstract data types partial heterogeneous algebras homomorphisms

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

Context induction: A proof principle for behavioural abstractions and algebraic implementations

This page was built for publication: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1166272&oldid=13234617"