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

Revision as of 03:05, 27 January 2023

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