Theoretical aspects of structured-modular composition programming: Algebra of morphisms
From MaRDI portal
Publication:1842423
zbMath0823.68062MaRDI QIDQ1842423
Publication date: 17 May 1995
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Topoi (18B25) General topics in the theory of software (68N01)
Related Items (2)
Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms ⋮ A methodology of structured-modular composition programming
This page was built for publication: Theoretical aspects of structured-modular composition programming: Algebra of morphisms
