Computer Science Club

Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

Канонические структуры. Построение иерархий.
Введение в формальную верификацию программ