دانلود کتاب Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

49,000 تومان
روش‌های صحیح طراحی و تأیید سخت‌افزار: دهمین کنفرانس کاری تحقیقاتی پیشرفته IFIP WG10.5، CHARME'99 BadHerrenalb، آلمان، 27 تا 29 سپتامبر، مجموعه مقالات 1999
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 376
حجم فایل 5 مگابایت
کد کتاب 3540665595,9783540665595
نوبت چاپ 1

دانلود کتاب Formal Hardware Verification: Methods and Systems in Comparison

49,000 تومان
راستی‌آزمایی سخت‌افزار رسمی: روش‌ها و سیستم‌ها در مقایسه
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 376
حجم فایل 3 مگابایت
کد کتاب 3540634754,9783540634751
نوبت چاپ 1

دانلود کتاب Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD ’94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

49,000 تومان
اثبات قضیه در طراحی مدار: تئوری، عمل و تجربه دومین کنفرانس بین المللی، TPCD '94 Bad Herrenalb، آلمان، 26-28 سپتامبر 1994 مجموعه مقالات
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 312
حجم فایل 3 مگابایت
کد کتاب 3540590471,9783540590477
نوبت چاپ 1