Revision as of 05:52, 25 November 2019 edit I grieve in stereo (talk \| contribs) Extended confirmed users 18,681 edits m Moving from Category:1998 books to Category:1998 non-fiction books using Cat-a-lot ← Previous edit		Revision as of 07:38, 28 December 2019 edit undo I grieve in stereo (talk \| contribs) Extended confirmed users 18,681 edits added Category:Prentice Hall books using HotCat Next edit →
Line 68: [[Category:Formal methods publications]] [[Category:Programming language semantics]] [[Category:Prentice Hall books]]

Unifying Theories of Programming: Difference between revisions