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