Спецкурс Математическая теория программирования , часть 1

Описание метода Флойда, примеры его использования для верификации блок-схем извлечения корня и пузырьковой сортировки
Back to Top