دانلود کتاب 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
نویسنده: Jean-Raymond Abrial – Egon Börger (auth.) – Jean-Raymond Abrial – Egon Börger – Hans Langmaack (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 523
حجم کتاب: 5 مگابایت
کد کتاب: 3540619291 , 9783540619291
نوبت چاپ: 1
توضیحات کتاب روش های رسمی برای کاربردهای صنعتی: تعیین و برنامه ریزی کنترل دیگ بخار
این کتاب، با CD-ROM گنجانده شده، مستندی از یک تلاش مشترک منحصر به فرد در ارزیابی روش های رسمی برای استفاده تحت محدودیت های صنعتی است: تکنیک های اصلی برای مشخصات، طراحی، و تأیید برنامه های بزرگ و سیستم های پیچیده که به طور رسمی پشتیبانی می شوند، هستند. به یک مشکل غیر پیش پا افتاده و غیر آکادمیک که برای مشخصات الزامات غیررسمی صنعتی معمول است، اعمال می شود.
21 مقاله موجود در کتاب، همراه با یک مقدمه و گزارش رقابت، از 33 راه حل نامزد انتخاب شدند. این کتاب به همراه یک سی دی رام شامل، علاوه بر مقالات چاپی، کدهای اجرایی، تعاریف کامل تمام قسمت های مشخصات، و توضیحات مفصل در مورد مسائل اساسی در صورت لزوم ارائه می شود.
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.
The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.
دانلود کتاب «روش های رسمی برای کاربردهای صنعتی: تعیین و برنامه ریزی کنترل دیگ بخار»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.