Твоя библиотека
Главная
Список разделов
Популярное
Главная
А. С. Камкин
Автор: А. С. Камкин
Введение в формальные методы верификации программ