Pages that link to "Item:Q1905220"
From MaRDI portal
The following pages link to Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms (Q1905220):
Displaying 5 items.
- Computable compositions and universal program logics (Q800721) (← links)
- On the complexity of specification morphisms (Q1389688) (← links)
- Theoretical aspects of structured-modular composition programming: Algebra of morphisms (Q1842423) (← links)
- A methodology of structured-modular composition programming (Q1907783) (← links)
- (Q3709858) (← links)