Отображение 1 - 2 результаты of 2 для поиска '', время запроса: 0.02сек. Отмена результатов
  1. 1
    Верификация моделей программ: Model Checking
    по Кларк, Эдмунд М. младший
    Публикация 2002
    Перейти в каталог НБ ТГУ
    Книга
  2. 2
    Верификация программного обеспечения учебное пособие
    Перейти в каталог НБ ТГУ
    Книга
Инструменты поиска: RSS-поток