دانلود کتاب Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
کتاب تأیید به کمک رایانه: هفتمین کنفرانس بین المللی، CAV '95 لیژ، بلژیک، 3 تا 5 ژوئیه، 1995 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تأیید به کمک رایانه: هفتمین کنفرانس بین المللی، CAV '95 لیژ، بلژیک، 3 تا 5 ژوئیه، 1995 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
نام کتاب : Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : تأیید به کمک رایانه: هفتمین کنفرانس بین المللی، CAV '95 لیژ، بلژیک، 3 تا 5 ژوئیه، 1995 مجموعه مقالات
سری : Lecture Notes in Computer Science 939
نویسندگان : Randal E. Bryant (auth.), Pierre Wolper (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1995
تعداد صفحات : 456
[462]
ISBN (شابک) : 3540600450 , 9783540600459
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 4 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد مجموعه مقالات هفتمین کنفرانس بینالمللی تأیید به کمک رایانه، CAV '95 است که در ژوئیه 1995 در لیژ، بلژیک برگزار شد.
این کتاب شامل 31 مقاله تحقیقاتی کامل با داوری است که برای ارائه در CAV '95 انتخاب شدهاند و همچنین چکیده یا مقاله کامل سه ارائه دعوتشده. CAV که در اصل به سمت سیستمهای همزمان حالت محدود میرفت، اکنون تمام سبکهای رویکردهای تأیید و حوزههای کاربردی متنوعی را پوشش میدهد. این مقالات شامل گستره ای از مسائل نظری تا کاربردهای ملموس با تأکید خاصی بر ابزارهای تأیید و الگوریتم ها و تکنیک های مورد نیاز برای اجرای آنها بود. فراتر از سیستم های حالت محدود، سیستم های بلادرنگ و سیستم های ترکیبی بخش مهمی از کنفرانس هستند.
توضیحاتی در مورد کتاب به زبان اصلی :
This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995.
The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.