scientific article

From MaRDI portal

Publication:3885176

Jump to:navigation, search

zbMath0442.68016MaRDI QIDQ3885176

Peter Padawitz, Hartmut Ehrig, Bernd Mahr, Hans-Joerg Kreowski

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

abstract data types compound algebraic implementations stepwise refinement of software systems

Mathematics Subject Classification ID

Data structures (68P05) Theory of software (68N99)

Related Items (2)

Complexity of algebraic implementations for abstract data types ⋮ Algebraic implementation of abstract data types

This page was built for publication:

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