Pages that link to "Jim Davies (computer scientist)"
Showing 12 items.
- Z notation (links | edit)
- Communicating sequential processes (links | edit)
- Jim Woodcock (links | edit)
- Separation logic (links | edit)
- Prentice Hall International Series in Computer Science (links | edit)
- Jim Davies (links | edit)
- Jim Davies (Professor) (redirect page) (links | edit)
- Software Engineering Programme (links | edit)
- Talk:Jim Davies (computer scientist) (transclusion) (links | edit)
- User:Tony Sidaway/Living people/tranche 020 (links | edit)
- User:Tule-hog/All Computing articles (links | edit)
- User talk:SuzJane (links | edit)