Модели динамической логики, учебное пособие, [для студентов специальностей 230105 - "Программное обеспечение вычислительной техники и автоматизированных систем" и 351500 "Математическое обеспечение и администрирование информационных систем"]
2007-3/12073 2007-3/12073 - 140 экз.5-89838-238-0/[2007-15342]/русский (rus)/Модели динамической логики : учебное пособие : [для студентов специальностей 230105 - "Программное обеспечение вычислительной техники и автоматизированных систем" и 351500 "Математическое обеспечение и администрирование информационных систем"] / А.Н. Горбунов ; Федер. агентство по образованию, Брян. гос. техн. ун-т.Модели динамической логики : учебное пособие : [для студентов специальностей 230105 - "Программное обеспечение вычислительной техники и автоматизированных систем" и 351500 "Математическое обеспечение и администрирование информационных систем"] / А.Н. Горбунов.Модели динамической логики : учебное пособие : [для студентов специальностей 230105 - "Программное обеспечение вычислительной техники и автоматизированных систем" и 351500 "Математическое обеспечение и администрирование информационных систем"].Брянск/Изд-во БГТУ/, 2006 ( ). - Изд-во БГТУ, 2006. - 108 с. : ил. ; 21 см. - (Учебное пособие).Модели динамической логики : учебное пособие : [для студентов специальностей 230105 - "Программное обеспечение вычислительной техники и автоматизированных систем" и 351500 "Математическое обеспечение и администрирование информационных систем"]. Брянск, 2006 .
Библиогр.: с. 106 (11 назв.). Библиогр.: с. 106 (11 назв.).Вычислительные системы -- Математическое моделирование -- Учебные издания для высших учебных заведений/З973.202-01с116я73-1/
Библиогр.: с. 106 (11 назв.). Библиогр.: с. 106 (11 назв.).Вычислительные системы -- Математическое моделирование -- Учебные издания для высших учебных заведений/З973.202-01с116я73-1/