Журнал ИМТ Фрагмент документаКлючевые слова

260_2

http://libmeta.ru/resource/imt/seg/260_2

Текст фрагмента

дедуктивная верификация; трансформации программ; алгебраические типы данных; односвязный список

Данные

extractedFrom

260

generatedBy

run_mocassin_1

фрагмент статьи

Входящие связи

← содержит фрагмент · 1