Title of article :
The joy of formula manipulation
Author/Authors :
W. H. J. Feijen، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2001
Pages :
8
From page :
89
To page :
96
Keywords :
Calculational reasoning , Programming methodology
Journal title :
Information Processing Letters
Serial Year :
2001
Journal title :
Information Processing Letters
Record number :
129317
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129317
بازگشت