Revision as of 18:28, 20 March 2006 edit Pegship (talk \| contribs) Administrators 142,684 edits m stub sort ← Previous edit		Revision as of 15:59, 14 April 2006 edit undo Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,165 edits m Added category Next edit →
Line 8: * [http://www.cs.york.ac.uk/admit/Modules/utp.html Course] based on this book at the [[University of York]] * [http://web.comlab.ox.ac.uk/oucl/research/areas/concurrency/research/unify/ Unifying Theories of Programming Languages] research at the [[Oxford University Computing Laboratory]] {{compu-sci-stub}} Line 14 ⟶ 15: [[Category:1998 books]] [[Category:Computer science books]] [[Category:Formal methods]]

Unifying Theories of Programming: Difference between revisions