Title of article :
On computing the semi-sum of two integers
Author/Authors :
Salvatore Ruggieri، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2003
Pages :
5
From page :
67
To page :
71
Keywords :
formal methods , Program derivation
Journal title :
Information Processing Letters
Serial Year :
2003
Journal title :
Information Processing Letters
Record number :
129742
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=129742
بازگشت