دانلود کتاب Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
by Emil Sekerinski (editor), Leila Ribeiro (editor)
|
عنوان فارسی: آموزش روش های رسمی: ششمین کارگاه آموزشی روش های رسمی، FMTea 2024، میلان، ایتالیا، 10 سپتامبر 2024، مجموعه مقالات |