دانلود کتاب Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings (به فارسی: تأیید به کمک رایانه: چهاردهمین کنفرانس بین المللی، CAV 2002 کپنهاگ، دانمارک، 27 تا 31 ژوئیه، 2002 مجموعه مقالات) نوشته شده توسط «Gerard_J. Holzmann (auth.) – Ed Brinksma – Kim Guldstrand Larsen (eds.)»
اطلاعات کتاب تأیید به کمک رایانه: چهاردهمین کنفرانس بین المللی، CAV 2002 کپنهاگ، دانمارک، 27 تا 31 ژوئیه، 2002 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Gerard_J. Holzmann (auth.) – Ed Brinksma – Kim Guldstrand Larsen (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 362
حجم کتاب: 6 مگابایت
کد کتاب: 3540439978 , 9783540439974
نوبت چاپ: 1
توضیحات کتاب تأیید به کمک رایانه: چهاردهمین کنفرانس بین المللی، CAV 2002 کپنهاگ، دانمارک، 27 تا 31 ژوئیه، 2002 مجموعه مقالات
این جلد شامل مجموعه مقالات کنفرانس کامپیوتری V-i?cation (CAV 2002) است که در کپنهاگ، دانمارک در 27 تا 31 ژوئیه 2002 برگزار شد. CAV 2002 چهاردهمین کنفرانس از مجموعه کنفرانس‌هایی بود که به پیشرفت تئوری و عمل روش های تحلیل رسمی به کمک کامپیوتر برای سیستم های نرم افزاری و سخت افزاری. این کنفرانس طیفی از نتایج نظری تا کاربردهای عینی را با تأکید بر ابزارهای تأیید عملی، از جمله الگوریتم ها و تکنیک های مورد نیاز برای اجرای آنها، پوشش می دهد. این کنفرانس به طور سنتی از سوی محققان و نیز دست اندرکاران دانشگاه و صنعت مشارکت داشته است. امسال 94 مقاله ارسالی منظم دریافت کردیم که از بین آنها 35 مورد انتخاب شدند. هر ارسال به طور متوسط 4 بازبینی داور دریافت کرد. علاوه بر این، برنامه CAV شامل 11 ارائه ابزار انتخاب شده از 16 ارسال شده بود. برای هر ارائه ابزار، یک نسخه نمایشی در کنفرانس ارائه شد. تعداد زیادی از ابزارهای ارسالی و ارائه ها حاکی از سرزنده بودن ?الد و استفاده از آن است.
This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical – sults to concrete applications, with an emphasis on practical veri?cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi?es to the liveliness of the ?eld and its applied ?avor.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.