A practical theory of programming
From MaRDI portal
Publication:808685
DOI10.1016/0167-6423(90)90018-9zbMATH Open0732.68025OpenAlexW4212949860MaRDI QIDQ808685FDOQ808685
Authors: Eric C. R. Hehner
Publication date: 1990
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(90)90018-9
Recommendations
- scientific article; zbMATH DE number 517333
- scientific article; zbMATH DE number 1107134
- scientific article; zbMATH DE number 7642012
- scientific article; zbMATH DE number 1088217
- scientific article; zbMATH DE number 804269
- Compositional programming: theory and practice
- scientific article; zbMATH DE number 3845028
- scientific article; zbMATH DE number 194468
- Foundations of programmology
Cited In (8)
This page was built for publication: A practical theory of programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q808685)