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