مرکز منطقه ای اطلاع رساني علوم و فناوري - Specification and Animation of a Bank Transfer using KIDS/VDM

Title of article :

Specification and Animation of a Bank Transfer using KIDS/VDM

Author/Authors :

Yves Ledru، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1997

Pages :

From page :

To page :

Keywords :

software explanation , Software understanding , Hypertext , world wide web

Journal title :

Automated Software Engineering

Serial Year :

1997

Journal title :

Automated Software Engineering

Record number :

307005

Link To Document :