scientific article; zbMATH DE number 3995035

From MaRDI portal

Revision as of 20:56, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4721637

Jump to:navigation, search

zbMath0614.68017MaRDI QIDQ4721637

Francesco Parisi-Presicce

Publication date: 1987

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

zbMATH Keywords

formal specification of data types union, composition and actualization

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (2)

Compatibility problems in the development of algebraic module specifications ⋮ Foundations of rule-based design of modular systems

This page was built for publication:

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