خرید و دانلود نسخه کامل کتاب Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
قیمت اصلی 127,000 تومان بود.52,000 تومانقیمت فعلی 52,000 تومان است.
تعداد فروش: 46
| عنوان فارسی |
روشهای رسمی در طراحی به کمک رایانه: دومین کنفرانس بین المللی ، FMCAD 98 Palo Alto ، CA ، USA ، 4 تا 6 نوامبر 1998 مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.) |
| ISBN | 3540651918, 9783540651918 |
| سال نشر | 1998 |
| زبان | English |
| تعداد صفحات | 536 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری دومین کنفرانس بینالمللی روشهای رسمی در طراحی به کمک رایانه، FMCAD ’98، برگزار شده در پالو آلتو، کالیفرنیا، ایالات متحده آمریکا، در نوامبر 1998 است.
27 مقاله کامل اصلاحشده ارائهشده به دقت بررسی شدند و از مجموع 55 ارسال انتخاب شده است. همچنین شامل چهار مقاله ابزار و چهار مشارکت دعوت شده است. این مقالات، وضعیت هنر را در روشهای تأیید رسمی برای مدارها و سیستمهای دیجیتال، از جمله پردازندهها، مدارهای سفارشی VLSI، میکروکد و نرمافزار واکنشی ارائه میکنند. از نقطه نظر روش شناختی، نمودارهای تصمیم دودویی، بررسی مدل، استدلال نمادین، شبیه سازی نمادین و روش های انتزاعی پوشش داده شده است.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.