Pages that link to "Item:Q1910975"
From MaRDI portal
The following pages link to Multilevel structured program designs and correctness proving (Q1910975):
Displaying 6 items.
- Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms (Q1008377) (← links)
- On the creation of a macromodel of social development (Q1333704) (← links)
- Static correctness of hierarchical procedures (Q1351792) (← links)
- Formalized program specifications and transformation synthesis (Q1899896) (← links)
- Algebraic-grammatical models of parallel computation (Q1910963) (← links)
- Syntactically correct multilevel structured program design (Q1910976) (← links)