Program composition and composition programming

From MaRDI portal

Revision as of 03:28, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:1132545

Jump to:navigation, search

zbMath0419.68009MaRDI QIDQ1132545

V. N. Red'ko

Publication date: 1978

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

program composition composition programming

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

Composition structure of programmology

This page was built for publication: Program composition and composition programming

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