Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System
تاريخ النشر: 30/08/1993
الناشر: Springer
ترجمة: Berthold Hoffmann
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 648
مجلدات: 1
ردمك: 9783540567332