Pages that link to "Item:Q1060833"
From MaRDI portal
The following pages link to Automatic programming: A tutorial on formal methodologies (Q1060833):
Displaying 7 items.
- Automated inferencing (Q1070835) (← links)
- Automated generation of program translation and verification tools using annotated grammars (Q2653929) (← links)
- On the conversion of program specifications into pseudo code using Jackson structured programming (Q2744750) (← links)
- From predicates to programs: the semantics of a method language (Q2870332) (← links)
- (Q3687682) (← links)
- (Q4449804) (← links)
- (Q5514107) (← links)