دانلود کتاب Formal Hardware Verification: Methods and Systems in Comparison
دسته: کامپیوتر
کتاب تایید رسمی سخت افزار: روش ها و سیستم ها در مقایسه نسخه زبان اصلی
دانلود کتاب تایید رسمی سخت افزار: روش ها و سیستم ها در مقایسه بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Hardware Verification: Methods and Systems in Comparison
نام کتاب : Formal Hardware Verification: Methods and Systems in Comparison
ویرایش : 1
عنوان ترجمه شده به فارسی : تایید رسمی سخت افزار: روش ها و سیستم ها در مقایسه
سری : Lecture Notes in Computer Science 1287
نویسندگان : Scott Hazelhurst, Carl-Johan H. Seger (auth.), Thomas Kropf (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1997
تعداد صفحات : 379
ISBN (شابک) : 3540634754 , 9783540634751
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.