دانلود کتاب Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
کتاب تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV'98 ونکوور، BC، کانادا، 28 ژوئن - 2 ژوئیه، 1998 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV'98 ونکوور، BC، کانادا، 28 ژوئن - 2 ژوئیه، 1998 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
نام کتاب : Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV'98 ونکوور، BC، کانادا، 28 ژوئن - 2 ژوئیه، 1998 مجموعه مقالات
سری : Lecture Notes in Computer Science 1427
نویسندگان : Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1998
تعداد صفحات : 552
[562]
ISBN (شابک) : 3540646086 , 9783540646082
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 6 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب شامل مجموعه مقالات داوری دهمین کنفرانس بین‌المللی تأیید به کمک رایانه، 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.
پست ها تصادفی