Browsing Международная школа "Математическое моделирование фундаментальных
объектов и явлений в системах компьютерной математики - KAZCAS-2016".
Международная научно-практическая конференция "Информационные
технологии в образовании и науке - ИТОН-2016". by Subject "formal methods in program development"
Browsing Международная школа "Математическое моделирование фундаментальных
объектов и явлений в системах компьютерной математики - KAZCAS-2016".
Международная научно-практическая конференция "Информационные
технологии в образовании и науке - ИТОН-2016". by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Международная школа "Математическое моделирование фундаментальных
объектов и явлений в системах компьютерной математики - KAZCAS-2016".
Международная научно-практическая конференция "Информационные
технологии в образовании и науке - ИТОН-2016". by Subject "formal methods in program development"
В докладе будет рассказано о собственном и заимствованном опыте популяризации среди школьников и студентов формальным методов разработки и анализа программного обеспечения.