دانلود کتاب Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
by Nicola Bombieri
|
عنوان فارسی: روش رسمی برای تأیید سخت افزار: 6 مدرسه بین المللی در روش های رسمی برای طراحی کامپیوتر، ارتباطات، و سیستم های نرم افزار، SFM 2006، Bertinoro، ایتالیا، 22-27 مه، 2006، سخنرانی و جوی پیشرفته |