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