АК

А. С. Камкин

1 книга в каталоге

Все книги автора

Обложка книги «Введение в формальные методы верификации программ»

Введение в формальные методы верификации программ А. С. Камкин