آزمون ها و اثبات ها: هجدهمین کنفرانس بین المللی، TAP 2024، میلان، ایتالیا، 9 تا 10 سپتامبر 2024، مجموعه مقالات
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
نویسنده: Marieke Huisman (editor), Falk Howar (editor)
ناشر: Springer
سال انتشار: 2024
تعداد صفحات: 184
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 9 مگابایت