خرید و دانلود نسخه کامل کتاب Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

روشهای رسمی برای کاربردهای صنعتی: تعیین و برنامه نویسی کنترل دیگ بخار

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

نویسنده: Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1996

تعداد صفحات: 519

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 5 مگابایت