خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)

تأیید به کمک رایانه: سی و پنجمین کنفرانس بین المللی، CAV 2023، پاریس، فرانسه، 17 تا 22 ژوئیه، 2023، مجموعه مقالات، قسمت اول (یادداشت های سخنرانی در علوم رایانه)

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)

نویسنده: Constantin Enea (editor), Akash Lal (editor)

ناشر: Springer

سال انتشار: 2023

تعداد صفحات: 512

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 18 مگابایت