Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
(0)    
المرتبة: 964,947
تاريخ النشر: 30/10/1996
الناشر: Springer
ترجمة: Jean-Raymond Abrial
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 532
مجلدات: 1
ردمك: 9783540619291