Pages that link to "Biography:Cliff Jones (computer scientist)"
From HandWiki
The following pages link to Biography:Cliff Jones (computer scientist):
Displayed 17 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Prentice Hall International Series in Computer Science (← links)
- Refinement (computing) (← links)
- Formal Aspects of Computing (← links)
- Vienna Development Method (← links)
- Meta-IV (specification language) (← links)
- Bekić's theorem (← links)
- Interference freedom (← links)
- IFIP Working Group 2.3 (← links)
- Biography:List of programming language researchers (← links)
- Biography:Tony Hoare (← links)
- Biography:List of computer scientists (← links)
- Biography:Jean-Raymond Abrial (← links)
- Biography:Cliff Jones (computer scientist) (transclusion) (← links)
- Biography:John Fitzgerald (computer scientist) (← links)
- Biography:Zhou Chaochen (← links)
- Biography:Dines Bjørner (← links)
- Organization:IBM Laboratory Vienna (← links)
