Pages that link to "Unifying Theories of Programming"

Showing 14 items.

• 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)
• Wikipedia:Articles for deletion/Log/2012 July 1 (links | edit)
• Wikipedia:Articles for deletion/He Jifeng (links | edit)