دانلود کتاب Computer Aided Verification: 10th International Conference, CAV’98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (به فارسی: تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV’98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات) نوشته شده توسط «Nicolas Halbwachs (auth.) – Alan J. Hu – Moshe Y. Vardi (eds.)»
اطلاعات کتاب تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV’98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Nicolas Halbwachs (auth.) – Alan J. Hu – Moshe Y. Vardi (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1998
تعداد صفحه: 552
حجم کتاب: 6 مگابایت
کد کتاب: 3540646086 , 9783540646082
نوبت چاپ: 1
توضیحات کتاب تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV’98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات
این کتاب شامل مجموعه مقالات داوری دهمین کنفرانس بین‌المللی تأیید به کمک رایانه، CAV’98 است که در ونکوور، بریتیش کلمبیا، کانادا، در ژوئن/ژوئیه 1998 برگزار شد. 33 مقاله کامل اصلاح شده و 10 مقاله ابزار ارائه شده با دقت انتخاب شدند. از مجموع 117 ارسال. همچنین شامل 11 مشارکت دعوت شده است. در میان موضوعات تحت پوشش، فرمالیسم های مدل سازی و مشخصات است. تکنیک‌های راستی‌آزمایی مانند کاوش فضای حالت، بررسی مدل، سنتز و کسر خودکار؛ تکنیک های مختلف تأیید؛ برنامه های کاربردی و مطالعات موردی، و تأیید در عمل.
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV’98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.