Ваш поиск дал 11 результатов

Результаты поиска
	1.		КнигаUSL - the language of natural state machines = Язык машин естественных состояний USL / I.S. AnureevAnureev, I.S., Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2005-4/65 (1). Добавить в подборку (удалить)
	2.		КнигаСемантические методы анализа программ : учебное пособие : по курсу "Семантика языков программирования" для студентов, обучающихся по направлению 01.03.02 "Прикладная математика и информатика" / Ю. П. Кораблин ; Министерство науки и высшего образования Российской Федерации, Национальный исследовательский университет "МЭИ"Кораблин, Юрий Прокофьевич2019Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	3.		КнигаОценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч. 1: Методы, определяемые в терминах семантических конструкций языка программированияКоган, Б. И. (д-р техн. наук, технология программир. ; 1947-)2002Сводное описание: Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице / Б.И. Коган, Т.О. Матвеева, Н.Ю. НикифороваНаличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-4/11954 (1). Добавить в подборку (удалить)
	4.		КнигаВведение в программирование : Семант. подход : Учеб. пособие / А.Н. ФлоренсовФлоренсов, А. Н., Автор1998Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2000-3/6606 (3). Добавить в подборку (удалить)
	5.		КнигаA state-based semantics of a Pascal-like language = Формальная модель паскалеподобной программы / A.V. ZamulinZamulin, Aleksandr Vasil'evič, Автор2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2004-4/28 (1). Добавить в подборку (удалить)
	6.		КнигаПрограммирование для графического интерфейса : Семант. подход / А. Н. Флоренсов ; М-во образования Рос. Федерации, Ом. гос. техн. ун-тФлоренсов, Александр Николаевич, Автор2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-3/21406 (2). Добавить в подборку (удалить)
	7.		КнигаОбщение с ЭВМ на естественном языке / Э.П. ПоповПопов, Эдуард Викторович (д-р техн. наук ; 1940-), Автор 2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2004-5/6327 (2). Добавить в подборку (удалить)
	8.		КнигаОсновы синтаксиса, семантики, трансляции и верификации программ : учебное пособие / Н.В. Шилов ; М-во образования и науки РФ, Новосиб. гос. ун-т, Фак. информ. технологий, Каф. парал. вычисленийШилов, Николай Вячеславович, Автор2011Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-3/34526 (2). Добавить в подборку (удалить)
	9.		КнигаЛингвистические системы: модели, методы, приложения / А.В. Заболеева-Зотова ; М-во образования Рос. Федерации, Волгогр. гос. техн. ун-тЗаболеева-Зотова, Алла Викторовна, Автор 2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2004-3/20279 (2). Добавить в подборку (удалить)
	10.		КнигаЯзык машин естественных состояний USL / И.С. АнуреевАнуреев, Игорь Сергеевич, Автор 2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-4/21876 (2). Добавить в подборку (удалить)
	11.		КнигаЛингвистическое обеспечение автоматизированных систем : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Информатика и вычислительная техника", специальности "Программное обеспечение вычислительной техники и автоматизированных систем" / А.В. Заболеева-Зотова, В.А. КамаевЗаболеева-Зотова, Алла Викторовна, Автор Камаев, Валерий Анатольевич (1940-), Автор 2008Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-5/9076 (2). Добавить в подборку (удалить)

Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru