scientific article
From MaRDI portal
Publication:3677150
zbMath0563.68014MaRDI QIDQ3677150
Edward K. Blum, Francesco Parisi-Presicce
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Algebraic specification of modules and their basic interconnections ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ Union and actualization of module specifications: Some compatibility results ⋮ Functorial semantics of first-order views ⋮ Foundations for structuring behavioural specifications ⋮ Foundations of rule-based design of modular systems
This page was built for publication:
