دانلود کتاب Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings (به فارسی: تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی، CAV 2001 پاریس، فرانسه، 18 تا 22 ژوئیه، 2001 مجموعه مقالات) نوشته شده توسط «David Lorge Parnas (auth.) – Gérard Berry – Hubert Comon – Alain Finkel (eds.)»
اطلاعات کتاب تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی، CAV 2001 پاریس، فرانسه، 18 تا 22 ژوئیه، 2001 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: David Lorge Parnas (auth.) – Gérard Berry – Hubert Comon – Alain Finkel (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 522
حجم کتاب: 5 مگابایت
کد کتاب: 3540423451 , 9783540423454
نوبت چاپ: 1
توضیحات کتاب تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی، CAV 2001 پاریس، فرانسه، 18 تا 22 ژوئیه، 2001 مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بینالمللی تأیید با کمک رایانه، CAV 2001، که در پاریس، فرانسه در ژوئیه 2001 برگزار شد، تشکیل میشود. همچنین شامل 13 ارائه ابزار بررسی شده است که از 27 مورد ارسالی انتخاب شده اند. این کتاب بخشهای موضوعی در بررسی مدل و اثبات قضیه، تکنیکهای خودکار، فناوری هسته تأیید، BDD و درختهای تصمیم، انتزاع و پالایش، ترکیبها، سیستمهای حالت بینهایت، منطقها و تأیید زمانی، تأیید ریزپردازنده و انسجام حافظه پنهان، SAT و برنامهها، و اتومات های زمان دار
The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.