روشهای رسمی
Formal Methods
نویسنده: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
ناشر: Springer International Publishing
سال انتشار: 2018
تعداد صفحات: XIV, 692 [702]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 26 مگابایت
توضیحی برای این کتاب ثبت نشده است.