Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen

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

implementationalgebraic specification of abstract data typespartial heterogeneous algebras homomorphisms

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

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

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