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|Book/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|Refinement Calculus: A Systematic Introduction]].

Revision as of 03:06, 27 January 2023

Joakim von Wright(Q102257105) is a computer scientist who co-wrote the book:Refinement Calculus: A Systematic Introduction.