The following pages link to Unifying Theories of Programming
External toolsShowing 14 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Tony Hoare (links | edit)
- UTP (links | edit)
- Vienna Development Method (links | edit)
- Communicating sequential processes (links | edit)
- Jim Woodcock (links | edit)
- He Jifeng (links | edit)
- Unifying theories of programming (redirect page) (links | edit)
- Jim Woodcock (links | edit)
- Prentice Hall International Series in Computer Science (links | edit)
- RCOS (computer sciences) (links | edit)
- Talk:Unifying Theories of Programming (transclusion) (links | edit)
- User:Idc18 (links | edit)
- User talk:Jpbowen/Archive 7 (links | edit)
- Misplaced Pages:Articles for deletion/Log/2012 July 1 (links | edit)
- Misplaced Pages:Articles for deletion/He Jifeng (links | edit)