Вход
Электронный каталог
Лицевая сторона карточки | Обратная сторона карточки |
Лицевая сторона карточки | Обратная сторона карточки |
Ray S. Scalable techniques for formal verification / S. Ray, 2010 r=on-line. - Текст : электронный.