Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
519.68
Сортировать по: заглавиюдате издания
Экз. чит. зала
На полку Доступно
1 из 1
Книга
Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Библиотека : ЦБ
Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking
МЦНМО, 2002 г.
ISBN 5-940570-54-2
Библиотека : ЦБ
Заказать Доступно
1 из 1
Книга
Кузьмин, Егор Владимирович
Структурированные системы переходов
Физматлит, 2006 г.
ISBN 5-922106-92-9
Библиотека : ЦБ
Кузьмин, Егор Владимирович
Структурированные системы переходов
Физматлит, 2006 г.
ISBN 5-922106-92-9
Библиотека : ЦБ