Основы синтаксиса, семантики, трансляции и верификации программ : учебное пособие / Н.В. Шилов ; М-во образования и науки РФ, Новосиб. гос. ун-т, Фак. информ. технологий, Каф. парал. вычислений
Язык: русский.Выходные данные: Новосибирск : РИЦ НГУ, 2011Физическая характеристика: 292 с. : ил. ; 20 см.ISBN: 978-5-94356-707-0 Библиография: Библиогр. в подстроч. примеч. (144 назв.).Предметная рубрика - Тема: Языки программирования -- Грамматика -- Учебные издания для высших учебных заведений | Языки программирования -- Семантика -- Учебные издания для высших учебных заведений | Программы(компьют.) -- Верификация -- Учебные издания для высших учебных заведений Другие классификации: З973.2-018.1я73-1 ; З973.2-018-07я73-1 Тип экземпляра: КнигаТип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
---|---|---|---|---|---|---|---|
Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2011-3/34526 (Просмотр полки(Открывается ниже)) | 5721 | Доступно | 3525402 | ||
Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2011-3/34526 (Просмотр полки(Открывается ниже)) | 5721 | Доступно | 3525403 |
Библиогр. в подстроч. примеч. (144 назв.)