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

Результаты поиска
	21.		КнигаЯзык спецификаций распределенных систем Dynamic-REAL / В.А. Непомнящий, Е.В. Бодин, С.О. ВеретновНепомнящий, В. А. -- АвторБодин, Евгений Викторович -- Автор;Веретнов, С. О. -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-4/13397 (2). Добавить в подборку (удалить)
	22.		КнигаПо какому предмету олимпиада? / Е.В. Бодин, Л.В. Городняя, Н.В. ШиловБодин, Евгений Викторович -- АвторГородняя, Лидия Васильевна -- Автор;Шилов, Н. В. -- Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-4/13037 (2). Добавить в подборку (удалить)
	23.		КнигаКаталог изделий, выпускаемых заводами "Главсельэлектро" / М-во энергетики и электрификации РСФСР. Гл. упр. электрификации сел. хозяйстваРСФСР. Главное управление электрификации сельского хозяйства1962Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Пт 20/65 (1). Добавить в подборку (удалить)
	24.		КнигаМоделирование и верификация распределённых систем, представленных на языке 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). Добавить в подборку (удалить)
	25.		КнигаПрименение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL / В. А. Непомнящий, Е. В. Бодин, С. О. ВеретновНепомнящий, Валерий Александрович (1939-) -- Автор Бодин, Евгений Викторович -- Автор ;Веретнов, С. О. -- Автор2011Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	26.		КнигаКаталог изделий, выпускаемых заводами "Главсельэлектро" / М-во сельского хозяйства РСФСР. Гл. упр. электрификации сел. хозяйства "Главсельэлектро"РСФСР. Главное управление электрификации сельского хозяйства1958Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Пт 20/37 (1). Добавить в подборку (удалить)
	27.		КнигаПроект верифицирующего компилятора F@BOOL@ / Е.В. Болдин, Н.А. Калинина, Н.В. ШиловБодин, Евгений Викторович -- АвторКалинина, Н. А. -- Автор;Шилов, Н. В. -- Автор2005Тома: Показать записиНаличие: Нет доступных экземпляров : Добавить в подборку (удалить)

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

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

e-mail: office@nlr.ru