Syntactically correct multilevel structured program design
type: Item
instance of: scholarly article
title: Syntactically correct multilevel structured program design
zbMATH Open document ID: 0841.68073
DOI: 10.1007/BF01130545
author: L. I. Nagornaya
published in: Cybernetics and Systems Analysis
publication date: 1996-05-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 859585
zbMATH Keywords: multilevel structured program design
MaRDI profile type: Publication
Recommended article: Multilevel synthesis of structured programs
Recommended article: Multilevel structured program designs and correctness proving
Recommended article: Q3706480
Recommended article: A means for the structural synthesis of programs
Recommended article: Q4372941
Recommended article: Structured programming in symbolic multiprocessing
Recommended article: Q4421942
Recommended article: Q4209413
Recommended article: Q4778648
description: scientific article; zbMATH DE number 859585