دانلود کتاب Computer Aided Verification: Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings (به فارسی: تأیید به کمک رایانه: چهارمین کارگاه بین المللی، CAV ’92 مونترال، کانادا، 29 ژوئن – 1 ژوئیه 1992 مجموعه مقالات) نوشته شده توسط «Leslie Lamport (auth.) – Gregor von Bochmann – David Karl Probst (eds.)»
اطلاعات کتاب تأیید به کمک رایانه: چهارمین کارگاه بین المللی، CAV ’92 مونترال، کانادا، 29 ژوئن – 1 ژوئیه 1992 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Leslie Lamport (auth.) – Gregor von Bochmann – David Karl Probst (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1993
تعداد صفحه: 426
حجم کتاب: 4 مگابایت
کد کتاب: 3540564969 , 9783540564966
نوبت چاپ: 1
توضیحات کتاب تأیید به کمک رایانه: چهارمین کارگاه بین المللی، CAV ’92 مونترال، کانادا، 29 ژوئن – 1 ژوئیه 1992 مجموعه مقالات
این جلد مجموعه مقالات چهارمین کارگاه تأیید به کمک رایانه (CAV ’92) است که در مونترال، 29 ژوئن – 1 ژوئیه 1992 برگزار شد. هدف این مجموعه کارگاه ها گرد هم آوردن محققان و پزشکان علاقه مند است. در توسعه و استفاده از روش‌ها، ابزارها و تئوری‌ها برای تأیید رایانه‌ای سیستم‌های همزمان. کارگاه ها فرصتی را برای مقایسه روش های مختلف تأیید و ابزارهای عملی فراهم می کند که می تواند برای کمک به طراح برنامه ها مورد استفاده قرار گیرد. تاکید بر نتایج تحقیقات جدید و کاربرد نتایج موجود برای مشکلات راستی‌آزمایی واقعی است. این جلد شامل 31 مقاله است که از بین 75 مقاله ارسالی انتخاب شده است. اینها به بخش‌هایی در مورد تکنیک‌های کاهش، بررسی اثبات، تأیید نمادین، تأیید زمان، رویکردهای سفارش جزئی، مطالعات موردی، بررسی مدل و اثبات، و سایر رویکردها سازمان‌دهی می‌شوند. این جلد با یک سخنرانی دعوت شده توسط لزلی لمپورت با عنوان “تأیید با مانع کامپیوتری (انسانها نیز می توانند آن را انجام دهند)” شروع می شود.
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV ’92), held in Montreal, June 29 – July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled “Computer-hindered verification (humans can do it too)”.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.