دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
دانلود کتاب روش‌های رسمی در طراحی به کمک رایانه: اولین کنفرانس بین‌المللی، FMCAD '96 پالو آلتو، کالیفرنیا، ایالات متحده آمریکا، 6-8 نوامبر 1996 مجموعه مقالات
مشخصات کتاب
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
ویرایش: [1 ed.] نویسندگان: Kurt Keutzer (auth.), Mandayam Srivas, Albert Camilleri (eds.) سری: Lecture Notes in Computer Science 1166 ISBN (شابک) : 3540619372, 9783540619376 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 478 [479] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی در طراحی به کمک رایانه: اولین کنفرانس بین‌المللی، FMCAD '96 پالو آلتو، کالیفرنیا، ایالات متحده آمریکا، 6-8 نوامبر 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی در طراحی به کمک رایانه: اولین کنفرانس بین‌المللی، FMCAD '96 پالو آلتو، کالیفرنیا، ایالات متحده آمریکا، 6-8 نوامبر 1996 مجموعه مقالات
این کتاب مجموعه مقالات داوری اولین کنفرانس بین‌المللی روش‌های
رسمی در طراحی به کمک رایانه، FMCAD '96، برگزار شده در پالو
آلتو، کالیفرنیا، ایالات متحده آمریکا، در نوامبر 1996
است.
25 مقاله کامل بازبینی شده ارائه شده بودند. انتخاب شده از
مجموع 65 ارسالی؛ همچنین شامل سه مقاله نظرسنجی دعوت شده و چهار
مشارکت آموزشی است. این جلد تمام جنبه‌های رسمی مربوط به کار در
طراحی سیستم‌های به کمک رایانه، از جمله تأیید، ترکیب، و آزمایش
را پوشش می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the First
International Conference on Formal Methods in Computer-Aided
Design, FMCAD '96, held in Palo Alto, California, USA, in
November 1996.
The 25 revised full papers presented were selected from a
total of 65 submissions; also included are three invited
survey papers and four tutorial contributions. The volume
covers all relevant formal aspects of work in computer-aided
systems design, including verification, synthesis, and
testing.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Site Prep January-February 2012
دانلود کتاب Google AdWords for dummies
دانلود کتاب Foucaults Heterotopien als Forschungsinstrument: Eine Anwendung am Beispiel Kleingarten
دانلود کتاب Математика для любознательных
