Назад

Основы синтаксиса семантики, трансляции и верификации программ

Шилов Н. В.
246,00
р.
В корзину
Учебное пособие подготовлено на основе курса «Методы трансляции» для
студентов факультета информационных технологий Новосибирского государственного университета. Его содержание охватывает основные вопросы теории синтаксического анализа, теории формальной семантики, дает
представление о трансляции и верификации программ. Изложение теоретических вопросов иллюстрируется примерами на модельном языке программирования и сопровождается лабораторными работами.

Учебное пособие
Количество страниц: 292
Год издания: 2011
ISBN 978−5-94 356−707−0

------------------------------------------------------------------------
Обращаем Ваше внимание!
Цена указана без учета стоимости доставки. Доставка курьерской службой или Почтой России осуществляется за счет покупателя. Пожалуйста, ознакомьтесь с условиями и стоимостью доставки в Ваш населенный пункт заранее. Также Вы можете самостоятельно забрать заказ из офлайн-магазина. Мы находимся по адресу: г. Новосибирск, ул. Пирогова, 3, 1 этаж, 122, Новосибирский государственный университет.

Узнать условия доставки
Made on
Tilda