Электронный каталог

Книга
УДК 621.398 К66

Кораблин, Ю. П.
Семантические методы анализа программ : учебное пособие по курсу "Семантика языков программирования" по направлению 01.03.02 "Прикладная математика и информатика" / Ю. П. Кораблин, Нац. исслед. ун-т "МЭИ" (НИУ"МЭИ") . – М. : Изд-во МЭИ, 2019 . – 68 с. – URL: http://elib.mpei.ru/elib/view.php?id=10986 . - ISBN 978-5-7046-2173-7 .

621.398 К66

Тезаурус = ГАСНТИ 50.05.09
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования : языки программирования и спецификаций
Тезаурус = ГАСНТИ 50.41
Тезаурус = Автоматика. Вычислительная техника : программное обеспечение вычислительных машин, комплексов и сетей
Книгообеспеченность = Профессиональный цикл Б : Базовая часть : Семантика языков программирования - доп
Книгообеспеченность = Профессиональный цикл Б : Вариативная часть : Семантика языков программирования - доп

Кх - 3 экз.
Учз - 1 экз.
Ук-14029 Уч.аб.
Уч.аб. - 41 экз.