لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings

خرید و دانلود نسخه کامل کتاب Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings

مشخصات سخت افزار، تأیید و ترکیب: جنبه های ریاضی: کارگاه مؤسسه علوم ریاضی دانشگاه کرنل، ایتاکا، نیویورک، ایالات متحده آمریکا 5-7 ژوئیه، 1989 مجموعه مقالات

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings

نویسنده: George J. Milne (auth.), Miriam Leeser, Geoffrey Brown (eds.)

ناشر: Springer-Verlag New York

سال انتشار: 1990

تعداد صفحات: 408

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 4 مگابایت

112,000 تومان 81,000 تومان