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

Результаты поиска
	1.		КнигаМоделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри / Т.Г. ЧуринаЧурина, Татьяна Геннадьевна -- Автор2000Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2000-4/3625 (2). Добавить в подборку (удалить)
	2.		КнигаМоделирование спецификаций языка SDL с помощью раскрашенных сетей Петри / М.Ю. Машуков, Т.Г. ЧуринаМашуков, Михаил Юрьевич -- АвторЧурина, Татьяна Геннадьевна -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-4/4068 (2). Добавить в подборку (удалить)
	3.		КнигаМоделирование спецификаций языка SDL с помощью модификационных ИВТ-сетей / Т. Г. Чурина, В. С. АргировЧурина, Татьяна Геннадьевна -- АвторАргиров, Виктор Сергеевич -- Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-4/4546 (2). Добавить в подборку (удалить)
	4.		КнигаСимуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL / В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов, М.В. ТюрюшкинНепомнящий, Валерий Александрович -- Автор;Бодин, Евгений Викторович -- Автор;Веретнов, С. О. -- Автор;Тюрюшкин, М. В. -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/14165 (2). Добавить в подборку (удалить)
	5.		КнигаПрименение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL / В. А. Непомнящий, Е. В. Бодин, С. О. ВеретновНепомнящий, Валерий Александрович (1939-) -- Автор Бодин, Евгений Викторович -- Автор ;Веретнов, С. О. -- Автор2011Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	6.		КнигаПрименение библиотеки SDL для разработки программ на языке С : учебное пособие / А. Н. Гущин ; М-во образования и науки Российской Федерации, Балтийский гос. технический ун-т "Военмех", Каф. информ. систем и компьютерных технологийГущин, Артем Николаевич2014Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	7.		КнигаМоделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL : Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. ВеретновНепомнящий, Валерий Александрович -- АвторБодин, Евгений Викторович -- Автор;Веретнов, С. О. -- Автор2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2010-4/14176 (2). Добавить в подборку (удалить)
	8.		КнигаОсновы построения моделей посредством языка спецификации и описания SDL : учебное пособие : [по направлению "Информатика и вычислительная техника"] / А. В. Рабин ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное автономное образовательное учреждение высшего образования Санкт-Петербургский государственный университет аэрокосмического приборостроенияРабин, Алексей Владимирович2020Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	9.		КнигаМетоды формальной спецификации программ: языки МSC и SDL : (Учеб. пособие для студентов 4 курса фак. ВМиК) / Мансуров Н.Н., Майлингова О.Л. ; МГУ им. М.В. Ломоносова. Фак. вычисл. математики и кибернетикиМансуров, Николай Николаевич -- АвторМайлингова, О. Л. -- Автор1998Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 98-3/1959 (1). Добавить в подборку (удалить)

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

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

e-mail: office@nlr.ru