Fun with formal methods

Шилов  Николай Вячеславович

dc.contributor	Казанский (Приволжский) федеральный университет
dc.contributor.author	Шилов Николай Вячеславович	ru_RU
dc.date.accessioned	2017-01-10T08:42:42Z
dc.date.available	2017-01-10T08:42:42Z
dc.date.issued	2016
dc.identifier.uri	http://dspace.kpfu.ru/xmlui/handle/net/108823
dc.description.abstract	В докладе будет рассказано о собственном и заимствованном опыте популяризации среди школьников и студентов формальным методов разработки и анализа программного обеспечения.	ru_RU
dc.description.abstract	The talk will present individual and adopted popularization experience for teaching formal program design and analysis with high school and undergraduate students.	en_US
dc.relation.ispartofseries	Международная школа "Математическое моделирование фундаментальных объектов и явлений в системах компьютерной математики - KAZCAS-2016". Международная научно-практическая конференция "Информационные технологии в образовании и науке - ИТОН-2016".	ru_RU
dc.subject	формальные методы в программировании	ru_RU
dc.subject	популяризация школьном и высшем образовании	ru_RU
dc.subject	formal methods in program development	en_US
dc.subject	popularization in secondary and higher professional	en_US
dc.title	Fun with formal methods	ru_RU
dc.title.alternative	Fun with formal methods	en_US
dc.type	article
dc.identifier.udk	519.711+372.851
dc.description.pages	214-216