Revision as of 18:55, 6 October 2005 edit Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,150 edits m Tidying up, links, extra category, etc. ← Previous edit		Revision as of 23:10, 23 November 2005 edit undo Dfletter (talk \| contribs) Extended confirmed users 644 edits No edit summary Next edit →
Line 29: * Edsger W. Dijkstra. ''A Discipline of Programming'' (A systematic introduction with examples). ISBN 0-613-92411-8. [[Category:Computer science]]▼ [[Category:Theoretical computer science]]▼ ~~[[Category:Logic in computer science]]~~ [[Category:Formal methods]] ▲[[Category:~~Computer~~Logic in computer science]] ▲[[Category:Theoretical computer science]]

Predicate transformer semantics: Difference between revisions