Difference between revisions of "Joakim von Wright"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
{{WikiEntry|key={{PAGENAME}}|qCode=102257105}} is a computer scientist who co-wrote the book:[[:Book/Refinement Calculus:A Systematic Introduction|Refinement Calculus:A Systematic Introduction]].
{{WikiEntry|key={{PAGENAME}}|qCode=102257105}} is a computer scientist who co-wrote the book:[[:Book/Refinement Calculus: A Systematic Introduction|Book/Refinement Calculus: A Systematic Introduction]].

Revision as of 03:05, 27 January 2023