scientific article

From MaRDI portal

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

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

Publication:3718136

Jump to:navigation, search

zbMath0589.68017MaRDI QIDQ3718136

Francesco Parisi-Presicce

Publication date: 1986

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

zbMATH Keywords

composition union actualization module morphisms module specifications

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (5)

Algebraic specification of modules and their basic interconnections ⋮ Union and actualization of module specifications: Some compatibility results ⋮ Foundations of rule-based design of modular systems ⋮ An Abstract Module Concept for Graph Transformation Systems ⋮ Formal software specification with refinements and modules of typed graph transformation systems

This page was built for publication:

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