آری گورفینکل

در این صفحه ۱ کتاب از آری گورفینکل را می‌توانید ببینید؛ از جمله Computer Aided Verification: 36th International Conference, CAV 2024 Montreal, QC, Canada, July 24–27, 2024 Proceedings, Part II. نسخهٔ دیجیتال این آثار در کتابِن برای خرید و مطالعهٔ آنلاین موجود است.