خرید و دانلود نسخه کامل کتاب Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم. توضیحاتی در مورد کتاب این کتاب مجموعه مقالات داوری دومین کنفرانس بین‌المللی روش‌های رسمی در طراحی به کمک رایانه، FMCAD ’98، برگزار شده در پالو آلتو، کالیفرنیا، ایالات متحده آمریکا، در نوامبر 1998 است. 27 مقاله کامل اصلاح‌شده ارائه‌شده به دقت بررسی شدند و از مجموع 55 ارسال انتخاب شده است. همچنین شامل چهار مقاله ابزار و چهار مشارکت دعوت شده است. این مقالات، وضعیت هنر را در روش‌های تأیید رسمی برای مدارها و سیستم‌های دیجیتال، از جمله پردازنده‌ها، مدارهای سفارشی VLSI، میکروکد و نرم‌افزار واکنشی ارائه می‌کنند. از نقطه نظر روش شناختی، نمودارهای تصمیم دودویی، بررسی مدل، استدلال نمادین، شبیه سازی نمادین و روش های انتزاعی پوشش داده شده است.