scientific article

From MaRDI portal

Revision as of 23:02, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3947104

Jump to:navigation, search

zbMath0486.68016MaRDI QIDQ3947104

Hartmut Ehrig, Hans-Joerg Kreowski

Publication date: 1982

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

zbMATH Keywords

implementation parameterization algebraic specification abstract data type

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (4)

Structured algebraic specifications: A kernel language ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Observational implementation of algebraic specifications ⋮ Non-deterministic data types: Models and implementations

This page was built for publication:

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