Search for 'an:2173300' with limit(s): 'suppress:false'

Семантические методы анализа программ , учебное пособие , по курсу "Семантика языков программирования" для студентов, обучающихся по направлению 01.03.02 "Прикладная математика и информатика"

By Ю. П. Кораблин.
Москва Изд-во МЭИ 2019 .
67 с. 21.
978-5-7046-2173-7

USL - the language of natural state machines

By I.S. Anureev.
Novosibirsk A.P. Ershov inst. of informatics systems 2004 .
25 с. , Авт. также на рус. яз.: И.С. Ануреев 21.

Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч. 1: Методы, определяемые в терминах семантических конструкций языка программирования

Б. м. 2002 .
23 c.

A state-based semantics of a Pascal-like language

By A.V. Zamulin.
Novosibirsk Inst. of informatics systems 2003 .
25 с. , На парал. тит. л. авт. на рус. яз.: А.В. Замулин | Рез. на рус. яз. 21.

Общение с ЭВМ на естественном языке

By Э.П. Попов.
М. Едиториал УРСС 2004 .
358 с. 22.
5-354-00964-2

Программирование для графического интерфейса , Семант. подход

By А. Н. Флоренсов.
Омск Ом. гос. техн. ун-т 2003 .
128 с. 20.

Введение в программирование , Семант. подход , Учеб. пособие

By А.Н. Флоренсов.
Омск Изд-во ОмГТУ 1998 .
219,[1] с. 20.
5-8149-0090-3

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

By Н.В. Шилов.
Новосибирск РИЦ НГУ 2011 .
292 с. 20.
978-5-94356-707-0

Лингвистические системы: модели, методы, приложения

By А.В. Заболеева-Зотова.
Волгоград Политехник 2004 .
189 с. 20.
5-230-04240-0

Язык машин естественных состояний USL

By И.С. Ануреев.
Новосибирск Прайс-курьер 2004 .
25 с. , На обл.: USL - The language of natural statemachines / I.S. Anureev | Текст на рус. и англ. яз. 20.

Лингвистическое обеспечение автоматизированных систем , учебное пособие для студентов высших учебных заведений, обучающихся по направлению "Информатика и вычислительная техника", специальности "Программное обеспечение вычислительной техники и автоматизированных систем"

By А.В. Заболеева-Зотова, В.А. Камаев.
Москва Высшая школа 2008 .
243, [1] с. 22.
978-5-06-005748-5