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

Результаты поиска
	1.		КнигаЯзык спецификаций распределенных систем Dynamic-REAL / В.А. Непомнящий, Е.В. Бодин, С.О. ВеретновНепомнящий, В. А. -- АвторБодин, Евгений Викторович -- Автор;Веретнов, С. О. -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-4/13397 (2). Добавить в подборку (удалить)
	2.		КнигаПрименение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL / В. А. Непомнящий, Е. В. Бодин, С. О. ВеретновНепомнящий, Валерий Александрович (1939-) -- Автор Бодин, Евгений Викторович -- Автор ;Веретнов, С. О. -- Автор2011Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	3.		КнигаМоделирование и верификация распределённых систем, представленных на языке 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). Добавить в подборку (удалить)
	4.		КнигаМетодические разработки по совершенствованию управления, планирования и материального стимулирования в низовых строительных организациях / Министерство высшего и среднего специального образования РСФСР. Красноярский политехнический институт1968Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 68-7/1802 (1). Добавить в подборку (удалить)
	5.		КнигаСимуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL / В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов, М.В. ТюрюшкинНепомнящий, Валерий Александрович -- Автор;Бодин, Евгений Викторович -- Автор;Веретнов, С. О. -- Автор;Тюрюшкин, М. В. -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/14165 (2). Добавить в подборку (удалить)
	6.		КнигаАлександр Баранов - сын славный Отечества : историческая поэма о первом правителе Аляски : [в стихах] / В. Веретенов ; [худож.: Веретенов В.]Веретнов, Валерий -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-6/1107 (1). Добавить в подборку (удалить)

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

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

e-mail: office@nlr.ru