کنستانتین انئا

در این صفحه ۱ کتاب از کنستانتین انئا را می‌توانید ببینید؛ از جمله Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I. نسخهٔ دیجیتال این آثار در کتابِن برای خرید و مطالعهٔ آنلاین موجود است.