Pages that link to "Cliff Jones (computer scientist)"
Showing 39 items.
- List of computer scientists (links | edit)
- Tony Hoare (links | edit)
- Vienna Development Method (links | edit)
- Programming Research Group (links | edit)
- Refinement (computing) (links | edit)
- Jean-Raymond Abrial (links | edit)
- Dines Bjørner (links | edit)
- Zhou Chaochen (links | edit)
- BCS-FACS (links | edit)
- Formal Aspects of Computing (links | edit)
- John Fitzgerald (computer scientist) (links | edit)
- Bird–Meertens formalism (links | edit)
- Prentice Hall International Series in Computer Science (links | edit)
- Cliff Jones (links | edit)
- C. B. Jones (redirect page) (links | edit)
- Heinz Zemanek (links | edit)
- List of University of Manchester people (links | edit)
- List of people from the University of Oxford in academic disciplines (links | edit)
- Meta-IV (specification language) (links | edit)
- List of people with surname Jones (links | edit)
- List of Newcastle University people (links | edit)
- List of programming language researchers (links | edit)
- Model-based specification (links | edit)
- Cliff B. Jones (redirect page) (links | edit)
- C.B. Jones (redirect page) (links | edit)
- Bill Roscoe (links | edit)
- Nobuko Yoshida (links | edit)
- The Turing Guide (links | edit)
- IBM Laboratory Vienna (links | edit)
- Peter Lucas (computer scientist) (links | edit)
- Interference freedom (links | edit)
- Bekić's theorem (links | edit)
- IFIP Working Group 2.3 (links | edit)
- Talk:Dines Bjørner (links | edit)
- Talk:Cliff Jones (computer scientist) (transclusion) (links | edit)
- Talk:Meta-IV (specification language) (links | edit)
- User:Tony Sidaway/Living people/tranche 043 (links | edit)
- User talk:No Swan So Fine/Archive 4 (links | edit)
- User talk:Tastarte (links | edit)
- User talk:Liz/Whiteboard2 (links | edit)