دانلود کتاب Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings
کتاب روش‌های تأیید خودکار برای سیستم‌های حالت محدود: کارگاه بین‌المللی، گرنوبل، فرانسه 12 تا 14 ژوئن 1989 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب روش‌های تأیید خودکار برای سیستم‌های حالت محدود: کارگاه بین‌المللی، گرنوبل، فرانسه 12 تا 14 ژوئن 1989 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings
نام کتاب : Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : روش‌های تأیید خودکار برای سیستم‌های حالت محدود: کارگاه بین‌المللی، گرنوبل، فرانسه 12 تا 14 ژوئن 1989 مجموعه مقالات
سری : Lecture Notes in Computer Science 407
نویسندگان : Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1990
تعداد صفحات : 388
ISBN (شابک) : 3540521488 , 9783540521488
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد شامل مجموعه مقالات کارگاهی است که در ژوئن 1989 در گرنوبل برگزار شد. این اولین کارگاهی بود که به طور کامل به تأیید سیستم های حالت محدود اختصاص داشت. این کارگاه محققان و متخصصان علاقه مند به توسعه و استفاده از روش ها، ابزارها و تئوری ها برای تأیید خودکار سیستم های حالت محدود را گرد هم آورد. هدف این کارگاه مقایسه روش‌ها و ابزارهای تأیید برای کمک به طراح برنامه‌ها بود. مقالات این جلد، تکنیک‌های راستی‌آزمایی سیستم‌های حالت محدود را بررسی کرده و مزایای نسبی آنها را ارزیابی می‌کند. تکنیک های در نظر گرفته شده فرمالیسم های مختلف مشخصات مانند جبرهای فرآیندی، خودکار و منطق را پوشش می دهند. بیشتر مقالات بر بهره برداری از نتایج موجود در سه حوزه کاربردی متمرکز هستند: طراحی سخت افزار، پروتکل های ارتباطی و سیستم های بلادرنگ.
توضیحاتی در مورد کتاب به زبان اصلی :
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems.