دسته: منطق
دانلود کتاب منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Logic and specification: extending VDM-SL for advanced formal specification
ویرایش : 1st English Language Ed
عنوان ترجمه شده به فارسی : منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته
سری : Computer Science : Research and Practice
نویسندگان : Cornelis A. Middelburg
ناشر : Chapman & Hall
سال نشر : 1993
تعداد صفحات : 412
ISBN (شابک) : 0412486806 , 9780412486807
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.