Fun with formal methods

Шилов Николай Вячеславович
URI: http://dspace.kpfu.ru/xmlui/handle/net/108823
Дата: 2016

Аннотации:

 
В докладе будет рассказано о собственном и заимствованном опыте популяризации среди школьников и студентов формальным методов разработки и анализа программного обеспечения.
 
The talk will present individual and adopted popularization experience for teaching formal program design and analysis with high school and undergraduate students.
 

Показать полную информацию

Файлы в этом документе

Icon
Размер: 178.8Kb
Формат: PDF
Открыть

Данный элемент включен в следующие коллекции

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись

Статистика