Record number :
307005
Title of article :
Specification and Animation of a Bank Transfer using KIDS/VDM
Author/Authors :
Yves Ledru، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1997
Pages :
19
From page :
33
To page :
51
Keywords :
software explanation , Software understanding , Hypertext , world wide web
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
Serial Year :
1997
Link To Document :
بازگشت