دانلود کتاب Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
کتاب نرم افزار تایید شده نظریه ها، ابزارها و آزمایش ها: چهاردهمین کنفرانس بین المللی، VSTTE 2022، ترنتو، ایتالیا، 17 تا 18 اکتبر 2022، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب نرم افزار تایید شده نظریه ها، ابزارها و آزمایش ها: چهاردهمین کنفرانس بین المللی، VSTTE 2022، ترنتو، ایتالیا، 17 تا 18 اکتبر 2022، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
نام کتاب : Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
عنوان ترجمه شده به فارسی : نرم افزار تایید شده نظریه ها، ابزارها و آزمایش ها: چهاردهمین کنفرانس بین المللی، VSTTE 2022، ترنتو، ایتالیا، 17 تا 18 اکتبر 2022، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science, 13800
نویسندگان : Akash Lal, Stefano Tonetta
ناشر : Springer
سال نشر : 2023
تعداد صفحات : 175
[176]
ISBN (شابک) : 3031258029 , 9783031258022
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.