Difference between revisions of "Book/Refinement Calculus: A Systematic Introduction"

From PKC
Jump to navigation Jump to search
 
(2 intermediate revisions by the same user not shown)
Line 6: Line 6:
|first2=Joakim
|first2=Joakim
|last2=von Wright
|last2=von Wright
|author-link1=Joakim von Wright
|author-link2=Joakim von Wright
|edition=Draft
|edition=Draft
|date=Dec 31, 1997
|date=Dec 31, 1997
Line 14: Line 14:


<noinclude>
<noinclude>
[[File:Backwright98refinementcalculus.pdf]]
{{#widget:PDF
|url=https://pkc.pub/images/a/a6/Backwright98refinementcalculus.pdf
|width=800
|height=600
}}


{{PagePostfix
{{PagePostfix

Latest revision as of 03:27, 27 January 2023

Back, Ralph-Johan; von Wright, Joakim (Dec 31, 1997). Refinment Calculus: A Systematic Introduction (Draft ed.). local page: Ralph-Johan Back and Joakim von Wright. 


Currently your browser does not use a PDF plugin. You may however download the PDF file instead.

References


Related Pages


Retrieved from "https://pkc.pub/index.php?title=Book/Refinement_Calculus:_A_Systematic_Introduction&oldid=38055"