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

Результаты поиска
	1.		КнигаFifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 : [affiliated with] 9th International computer science symposium in Russia : proceedings / Valery Nepomniaschy, Valery Sokolov (eds.)"Program semantics, specification and verification: theory and application", workshop (5 ; 2014 ; Moscow) 2014Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2014-8/240 (1). Добавить в подборку (удалить)
	2.		КнигаМоделирование и верификация распределённых систем, представленных на языке 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). Добавить в подборку (удалить)
	3.		КнигаПрименение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL = Application of Dynamic-REAL language for analysis and verification of distributed systems specified in the language SDL / В. А. Непомнящий, Е. В. Бодин, С. О. ВеретновНепомнящий, Валерий Александрович (1939-), Автор Бодин, Евгений Викторович, Автор ; Веретнов, С. О., Автор2011Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	4.		КнигаАлгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри = UCM - Specifications to colored Petri nets translation flgorithms / Н. В. Визовитин, В. А. НепомнящийВизовитин, Николай Валерьевич Непомнящий, Валерий Александрович (1939-) 2012Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	5.		КнигаВерификация раскрашенных сетей Петри методом проверки моделей = Model checking approach to verification of coloured Petri nets / А. А. Стененко, В. А. НепомнящийСтененко, Александр Александрович Непомнящий, Валерий Александрович (1939-) 2015Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	6.		КнигаАнализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри = Analysis of message sequence charts of distributed systems using colored Petri nets / С. А. Черненок, В. А. НепомнящийЧерненок, Сергей Анатольевич Непомнящий, Валерий Александрович (1939-) 2013Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)

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

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

e-mail: office@nlr.ru