روش های رسمی ناسا
NASA Formal Methods
نویسنده: Clark Barrett and Misty Davies
ناشر: Springer
سال انتشار: 2017
تعداد صفحات: 448
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 20 مگابایت
توضیحی برای این کتاب ثبت نشده است.