Карпов Юрий

Юрий Карпов

Нет в продаже

электронная книга

В книге рассказывается о новых результатах в области верификации с помощью метода model checking...