Алгебро-автоматные методы анализа процедурных программ и реактивных систем

eng

Увага! Відтепер можна отримати пластиковий читацький квиток також за адресою:
проспект академіка Глушкова 2, кім. 217.
Подробиці читайте тут.

Список містить (0 документів)
Ваше замовлення (0 книжок)
Перегляд стану та історії замовлень
Допомога

Опис документа:


Шифр:	Д
Авт. знак:	18162
Автор:	Максимец А.Н.
Назва:	Алгебро-автоматные методы анализа процедурных программ и реактивных систем
Від. щодо назв.:	дис. ... канд. физ.-мат. наук : 01.05.01
Відповідальність:	Максимец Александр Николаевич ; М-во образования и науки Украины, Киев. нац. ун-т им. Тараса Шевченко
Місто:	Киев
Рік:	2014
Сторінок:	145 л.
ББК:	З973.2-018
Тип документу:	Дисертація
Примітки:	Прил.: л. 143-145

Розділ:

Назва:

Будь ласка, пишіть 2-3 слова з назви БЕЗ ЗАКІНЧЕНЬ!
Так імовірніше знайти потрібний документ!

слова не коротші ніж 3 символів, розділені пробілами

Автор:

Будь ласка, пишіть прізвище автора без ініціалів!

не коротше ніж 2 символи

є повний текст

Рік видання:

Видавництво:

з по

Види документів:

Книга Брошура Конволют (штучно створена збірка) Рідкісне видання

Автореферат Дисертація

Журнал Газета

Стаття Складова частина документа


	Цей сайт створено за спiльною програмою UNDP та Київського нацiонального унiверситету iменi Тараса Шевченка проект УКР/99/005

	© 2000-2010 yawd, irishka, levsha, alex