دانلود کتاب Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings (به فارسی: تأیید به کمک رایانه: یازدهمین کنفرانس بین المللی، CAV’99 ترنتو، ایتالیا، 6 تا 10 ژوئیه، 1999 مجموعه مقالات) نوشته شده توسط «David L. Dill (auth.) – Nicolas Halbwachs – Doron Peled (eds.)»
اطلاعات کتاب تأیید به کمک رایانه: یازدهمین کنفرانس بین المللی، CAV’99 ترنتو، ایتالیا، 6 تا 10 ژوئیه، 1999 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: David L. Dill (auth.) – Nicolas Halbwachs – Doron Peled (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1999
تعداد صفحه: 506
حجم کتاب: 6 مگابایت
کد کتاب: 3540662022 , 9783540662020
نوبت چاپ: 1
توضیحات کتاب تأیید به کمک رایانه: یازدهمین کنفرانس بین المللی، CAV’99 ترنتو، ایتالیا، 6 تا 10 ژوئیه، 1999 مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی تأیید به کمک رایانه، CAV’99 است که در ترنتو، ایتالیا در ژوئیه 1999 به عنوان بخشی از FLoC’99 برگزار شد.
34 مقاله کامل اصلاح‌شده ارائه‌شده با دقت بررسی شدند. و از مجموع 107 مورد ارسالی انتخاب شد. همچنین شامل شش مشارکت دعوت شده و پنج ارائه ابزار است. این کتاب در بخش‌های موضوعی در مورد تأیید پردازنده، تأیید و آزمایش پروتکل، فضاهای حالت بی‌نهایت، نظریه تأیید، منطق زمانی خطی، مدل‌سازی سیستم‌ها، بررسی مدل نمادین، اثبات قضیه، روش‌های خودکار-نظری، و انتزاع سازمان‌دهی شده است.
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV’99, held in Trento, Italy in July 1999 as part of FLoC’99.
The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.