Revision as of 00:28, 11 October 2005 edit Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,165 edits m Added category ← Previous edit		Revision as of 13:31, 17 November 2005 edit undo Ruud Koot (talk \| contribs) 31,416 edits m cat Next edit →
Line 14: [[Category:1998 books]] [[Category:Computer science books]] ~~[[Category:Formal methods]]~~ ~~[[Category:Logic in computer science]]~~ ~~[[Category:Theoretical computer science]]~~

Unifying Theories of Programming: Difference between revisions