Найдено документов - 46 | Найти похожие: "Индекс УДК" = '519.85 или 53:51' | Версия для печати |
Сортировать по:
1. Книга
Акулич И.Л.
Математическое программирование в примерах и задачах : учебное пособие / И.Л. Акулич. - Изд. 3-е , стер. - Санкт-Петербург [и др.] : Лань, 2019. - 347 с. : ил. - (Учебники для вузов. Специальная литература). - Доступна электронная версия 2022 г. - URL: https://e.lanbook.com/book/210680.- Режим доступа: по подписке, после регистрации в ЭБС "Лань" из сети МАИ. - Библиогр.: с. 346-347. - ISBN 978-5-8114-0916-7.
Математическое программирование в примерах и задачах : учебное пособие / И.Л. Акулич. - Изд. 3-е , стер. - Санкт-Петербург [и др.] : Лань, 2019. - 347 с. : ил. - (Учебники для вузов. Специальная литература). - Доступна электронная версия 2022 г. - URL: https://e.lanbook.com/book/210680.- Режим доступа: по подписке, после регистрации в ЭБС "Лань" из сети МАИ. - Библиогр.: с. 346-347. - ISBN 978-5-8114-0916-7.
Авторы: Акулич И.Л.
Шифры: 519.8 - А 441
Ключевые слова: ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ
Аннотация: В учебном пособии рассматриваются задачи линейного, нелинейного и динамического программирования. Приведены определения, формулы, а также методические указания, необходимые для решения задач; даны решения типовых задач, показаны возможности использования в этих целях различных пакетов прикладных программ. В конце каждого параграфа приведены задачи для самостоятельного решения. Учебное пособие предназначено для студентов, аспирантов и преподавателей вузов, изучающих экономико-математические методы и модели и их использование при решении практических задач.
Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1
Ссылка на ресурс: https://e.lanbook.com/book/210680
Прямая ссылка:
Подробнее
Дисциплина: Экономико-математические методы и модели
2. Книга
Лю Б.
Теория и практика неопределенного программирования / Б. Лю; перевод с английского Ю.В.Тюменцева, Ю.Г.Каганова; под ред. Ю.В.Тюменцева. - Москва : БИНОМ.Лаборатория знаний, 2013. - 416 с. : ил. - (Адаптивные и интеллектуальные системы). - Тит. л. на рус. и англ. яз. - Библиогр.: с.383-397(322 назв.)+ с.398-402(99 назв.). - ISBN 978-5-94774-241-1.
Теория и практика неопределенного программирования / Б. Лю; перевод с английского Ю.В.Тюменцева, Ю.Г.Каганова; под ред. Ю.В.Тюменцева. - Москва : БИНОМ.Лаборатория знаний, 2013. - 416 с. : ил. - (Адаптивные и интеллектуальные системы). - Тит. л. на рус. и англ. яз. - Библиогр.: с.383-397(322 назв.)+ с.398-402(99 назв.). - ISBN 978-5-94774-241-1.
Авторы: Лю Б.
Шифры: 519.8 - Л 93
Ключевые слова: МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ, ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ, НЕЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ, СТОХАСТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Аннотация: В книге дается замкнутое, подробное изложение аппарата неопределенного программирования, включая обсуждение принципов построения соответствующих оптимизационных моделей, а также алгоритмов, обеспечивающих решение разнообразных прикладных задач с использованием этих моделей. Рассмотрены: транспортные задачи, моделирование систем управления запасами, задачи составления кормовых смесей, моделирование производственного процесса, проблемы водоснабжения, задача размещения и распределения оборудования, задача распределения капиталовложений, задача топологической оптимизации, задача маршрутизации движения транспорта, оптимизации резервирования, задача о критическом пути, задача составления расписания параллельно действующих машин. Книга ориентирована на исследователей, инженеров и студентов, специализирующихся в области исследования операций, теории систем, информатики, организационного управления и техники.
Экземпляры: Всего: 2, из них: чзнл-2
Прямая ссылка:
3. Книга
Канторович Л.В.
Математико-экономические работы / Л.В. Канторович; РАН, Сибирское отделение; Институт математики им. С.Л. Соболева. - Новосибирск : Наука, 2011. - 756, [2] с. : ил. - (Избранные труды). - Библиогр.: с.671-693, с.668-670. - ISBN 978-5-5-02-019076-4.
Математико-экономические работы / Л.В. Канторович; РАН, Сибирское отделение; Институт математики им. С.Л. Соболева. - Новосибирск : Наука, 2011. - 756, [2] с. : ил. - (Избранные труды). - Библиогр.: с.671-693, с.668-670. - ISBN 978-5-5-02-019076-4.
Авторы: Канторович Л.В.
Шифры: 33 - К 198
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЭКОНОМИКА, МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Аннотация: Академик Леонид Витальевич Канторович (1912–1986) — выдающийся математик и экономист, лауреат Сталинской (1949), Ленинской (1965) премий и Нобелевской премии по экономике (1975). Издание содержит пионерские работы Л. В. Канторовича по математическому программированию и математической экономике, выполненные им в 1938–1960 гг. Большая часть этих работ давно стала библиографической редкостью, а некоторые были опубликованы спустя много лет после написания или вовсе не были опубликованы по идеологическим соображениям. Документированная публикация этих работ с указанием времени их написания подтверждает приоритет российской науки в области оптимизационного подхода в исследовании экономики. Книга ориентирована на широкий круг читателей, интересующихся математическими методами в экономических исследованиях.
Экземпляры: Всего: 3, из них: МАТИ-АМ-1, чзнл-1, ЭБС-1
Ссылка на ресурс: https://www.rfbr.ru/library/books/2107/
Прямая ссылка:
4. Книга
Дикин И.И.
Метод внутренних точек в линейном и нелинейном программировании / И.И. Дикин; отв. ред. Б.Т.Поляк; РАН, Сибирское отд-ние, Ин-т систем энергетики им. Л.А.Мелентьева. - М. : КРАСАНД, 2010. - 114 с. : табл. - ISBN 978-5-396-00035-3.
Метод внутренних точек в линейном и нелинейном программировании / И.И. Дикин; отв. ред. Б.Т.Поляк; РАН, Сибирское отд-ние, Ин-т систем энергетики им. Л.А.Мелентьева. - М. : КРАСАНД, 2010. - 114 с. : табл. - ISBN 978-5-396-00035-3.
Авторы: Дикин И.И.
Шифры: 519.8 - Д 453
Ключевые слова: ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ, ПРОГРАММИРОВАНИЕ ЛИНЕЙНОЕ, НЕЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ, ПРОГРАММИРОВАНИЕ НЕЛИНЕЙНОЕ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
5. Книга
Козлов В.В.
Избранные работы по математике, механике и математической физике / В.В. Козлов. - Москва ; Ижевск : Институт компьютерных исследований, 2010. - 671 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-93972-799-0.
Избранные работы по математике, механике и математической физике / В.В. Козлов. - Москва ; Ижевск : Институт компьютерных исследований, 2010. - 671 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-93972-799-0.
Авторы: Козлов В.В.
Шифры: 51 - К 592
Ключевые слова: МАТЕМАТИКА, МЕХАНИКА, МАТЕМАТИЧЕСКАЯ ФИЗИКА
Аннотация: Сборник посвящен 60-летию крупного российского математика и механика Валерия Васильевича Козлова. Здесь представлены его основные работы по разным областям динамических систем, написанные им в разные годы. Подборка статей представляет собой введение в различные разделы механики и математической физики. Издание будет полезно студентам, аспирантам и исследователям соответствующего профиля. Несомненным достоинством сборника является то, что автором представлен обзор открытых проблем в математике и механике, решение которых может опираться на публикуемые здесь работы. Кроме того, в сборнике будут представлены переводы статей В.В.Козлова, публиковавшихся только в англоязычных журналах и поэтому труднодоступных для российского читателя.
Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1
Ссылка на ресурс: https://www.rfbr.ru/library/books/1014/
Прямая ссылка:
6. Книга
Хачиян Л.Г.
Избранные труды / Л.Г. Хачиян. - М. : МЦНМО, 2009. - 519 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-94057-509-2.
Избранные труды / Л.Г. Хачиян. - М. : МЦНМО, 2009. - 519 с. : ил. - Библиогр. в конце тр. - ISBN 978-5-94057-509-2.
Авторы: Хачиян Л.Г.
Шифры: 519.8 - Х 292
Ключевые слова: МАТЕМАТИКА, АЛГОРИТМЫ, МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
7. Книга
Подколзин А.С.
Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / А.С. Подколзин. - М. : ФИЗМАТЛИТ, 2008. - 1022 с. : ил. - Библиогр.: с. 1021-1022 (31 назв.). - ISBN 978-5-9221-1045-7.
Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / А.С. Подколзин. - М. : ФИЗМАТЛИТ, 2008. - 1022 с. : ил. - Библиогр.: с. 1021-1022 (31 назв.). - ISBN 978-5-9221-1045-7.
Авторы: Подколзин А.С.
Шифры: 004.8 - П 442
Ключевые слова: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ, МОДЕЛИРОВАНИЕ КОМПЬЮТЕРНОЕ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
8. Книга
Вабищевич П.Н.
Вычислительные методы математической физики.Стационарные задачи / П.Н. Вабищевич. - Москва : Вузовская книга, 2008. - 195 с. : ил. - Библиогр.:с.192-193(40 назв.). - ISBN 978-5-9502-0274-2.
Вычислительные методы математической физики.Стационарные задачи / П.Н. Вабищевич. - Москва : Вузовская книга, 2008. - 195 с. : ил. - Библиогр.:с.192-193(40 назв.). - ISBN 978-5-9502-0274-2.
Авторы: Вабищевич П.Н.
Шифры: 519 - В 12
Ключевые слова: ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ, ЧИСЛЕННЫЕ МЕТОДЫ, МАТЕМАТИЧЕСКАЯ ФИЗИКА-ЗАДАЧИ
Аннотация: Исследование прикладных задач базируется на численном решении задач математической физики. Ищется приближенное решение уравнений с частными производными, которые дополняются соответствующими граничными и начальными условиями. В серии книг излагаются основные принципы построения и исследования численных методов решения всех основных классов задач математической физики. Наряду с традиционными разделами, такими как численное решение краевых задач для эллиптических и параболических уравнений, большое место в работе занимают численные методы решения обратных задач для уравнений в частных производных и задач управления. В первой книге рассматриваются вопросы численного решения стационарных задач математической физики, которые описываются эллиптическими уравнениями второго порядка. Для студентов вузов, обучающихся по специальности "Прикладная математика", и специалистов по вычислительной математике и математическому моделированию.
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
Подробнее
Специальность: Прикладная математика
9. Книга
Вабищевич П.Н.
Вычислительные методы математической физики.Нестационарные задачи / П.Н. Вабищевич. - М. : Вузовская книга, 2008. - 226 с. - Библиогр.:с.222-223(29 назв.). - ISBN 978-5-9502-0371-8.
Вычислительные методы математической физики.Нестационарные задачи / П.Н. Вабищевич. - М. : Вузовская книга, 2008. - 226 с. - Библиогр.:с.222-223(29 назв.). - ISBN 978-5-9502-0371-8.
Авторы: Вабищевич П.Н.
Шифры: 519 - В 12
Ключевые слова: ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ, ЧИСЛЕННЫЕ МЕТОДЫ, МАТЕМАТИЧЕСКАЯ ФИЗИКА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
Подробнее
Специальность: Прикладная математика
10. Книга
Антонова Г.М.
Сеточные методы равномерного зондирования для исследования и оптимизации динамических стохастических систем / Г.М. Антонова. - М. : ФИЗМАТЛИТ, 2007. - 224 с. : ил. - (Математика. Прикладная математика). - Библиогр.: с.210-224 (243 назв.). - ISBN 978-5-9221-0781-5.
Сеточные методы равномерного зондирования для исследования и оптимизации динамических стохастических систем / Г.М. Антонова. - М. : ФИЗМАТЛИТ, 2007. - 224 с. : ил. - (Математика. Прикладная математика). - Библиогр.: с.210-224 (243 назв.). - ISBN 978-5-9221-0781-5.
Авторы: Антонова Г.М.
Шифры: 519.8 - А 724
Ключевые слова: СТОХАСТИЧЕСКИЕ СИСТЕМЫ, МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ, ДИНАМИЧЕСКИЕ СИСТЕМЫ, ОПТИМИЗАЦИЯ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
11. Книга
Стрекаловский А.С.
Биматричные игры и билинейное программирование / А.С. Стрекаловский, А.В. Орлов. - М. : ФИЗМАТЛИТ, 2007. - 223 с. : ил. - (Математика. Прикладная математика). - Библиогр.: с.215-223 (173 назв.). - ISBN 978-5-9221-0853-9.
Биматричные игры и билинейное программирование / А.С. Стрекаловский, А.В. Орлов. - М. : ФИЗМАТЛИТ, 2007. - 223 с. : ил. - (Математика. Прикладная математика). - Библиогр.: с.215-223 (173 назв.). - ISBN 978-5-9221-0853-9.
Авторы: Стрекаловский А.С., Орлов А.В.
Шифры: 519 - С 841
Ключевые слова: ТЕОРИЯ ИГР, ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
12. Книга
Костомаров И.С.
Программный комплекс для построения конформно-эквивалентных сеток в областях , ограниченных контурами произвольной конфигурации на основе RT- алгоритма на примере двусвязных областей / И.С. Костомаров; РАН ; Ин-т косм. исследований. - М. : ИКИ РАН, 2006. - 21 с. : ил. - Пр-2124. - Библиогр.: с. 21(4 назв.).
Программный комплекс для построения конформно-эквивалентных сеток в областях , ограниченных контурами произвольной конфигурации на основе RT- алгоритма на примере двусвязных областей / И.С. Костомаров; РАН ; Ин-т косм. исследований. - М. : ИКИ РАН, 2006. - 21 с. : ил. - Пр-2124. - Библиогр.: с. 21(4 назв.).
Авторы: Костомаров И.С.
Шифры: 519 - К 724
Ключевые слова: ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, МАТЕМАТИЧЕСКАЯ ФИЗИКА, СЕТКИ
Аннотация: Решения краевых задач для областей со сложными границами с использованием традиционных численных методов предъявляют очень высокие требования к ресурсам вычислительных средств Одним из эффективных методов решения двумерных краевых задач является метод конформного отображения. Численной реализации этого метода для областей сложной конфигурации посвящен ряд работ (см., например [1]). В результате многолетней работы Б И Рабиновича и Ю В Тюрина при участии их соавторов был создан для этой цели принципиально новый RT-алгоритм конформного отображения произвольных односвязных и двусвязных областей на канонические области (круг, круговое кольцо) Алгоритм был реализован с использованием технических средств, доступных на тот момент В настоящем препринте рассматривается дальнейшее развитие RT-алгоритма применительно к двусвязным областям и реализация его в виде современного программного продукта; приводятся примеры отображения двусвязных областей со сложным кусочно-гладким контуром на круговое кольцо
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
13. Книга
Фокин В.А.
О дальнейшем развитии RT - алгоритма конформного отображения односвязных областей на круг / В.А. Фокин; РАН;Ин-т косм. исследований. - М. : ИКИ РАН, 2006. - 23 с. : ил. - Пр-2125. - Библиогр.: с. 23 (5 назв.).
О дальнейшем развитии RT - алгоритма конформного отображения односвязных областей на круг / В.А. Фокин; РАН;Ин-т косм. исследований. - М. : ИКИ РАН, 2006. - 23 с. : ил. - Пр-2125. - Библиогр.: с. 23 (5 назв.).
Авторы: Фокин В.А.
Шифры: 519 - Ф 753
Ключевые слова: ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, КРАЕВЫЕ ЗАДАЧИ, ЧИСЛЕННЫЕ МЕТОДЫ
Аннотация: Решения краевых задач для обпастей со сложными границами с использованием традиционных численных методов предъявляют очень высокие требования к ресурсам вычислительных средств Рабинович Б И Тюрин Ю В создали принципиально новый алгоритм (RT) отображения произвольных односвязных областей на каноническую область - круг Реализация алгоритма была осуществлена с использованием технических средств, доступных на тот момент В настоящем препринте рассматривается дальнейшее развитие RT-алгоритма в виде современного программного продукта, а также примеры отображения односвязных областей на круг Приводятся подробные инструкции по работе с программой
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
14. Книга
Лесневский А.С.
Объектно-ориентированное программирование для начинающих / А.С. Лесневский. - Москва : БИНОМ.Лаборатория знаний, 2005. - 232 с. : ил. + CD. - Библиогр.: с.227 (11 назв.). - ISBN 5-94774-251-9.
Объектно-ориентированное программирование для начинающих / А.С. Лесневский. - Москва : БИНОМ.Лаборатория знаний, 2005. - 232 с. : ил. + CD. - Библиогр.: с.227 (11 назв.). - ISBN 5-94774-251-9.
Авторы: Лесневский А.С.
Шифры: 004.4 - Л 503
Ключевые слова: ПРОГРАММИРОВАНИЕ НА ЭВМ, МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ, ЯЗЫКИ ПРОГРАММИРОВАНИЯ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ
Экземпляры: Всего: 3, из них: чзнл-3
Прямая ссылка:
15. Книга
Кецарис А.А.
Алгебраические основы физики.Пространство-время и действие как универсальные алгебры / А.А. Кецарис. - Изд.2-е. - М. : Едиториал УРСС, 2004. - 278 с. : ил. - (Relata Refero). - Библиогр.:с.273-274(17 назв.). - ISBN 5-354-00761-5.
Алгебраические основы физики.Пространство-время и действие как универсальные алгебры / А.А. Кецарис. - Изд.2-е. - М. : Едиториал УРСС, 2004. - 278 с. : ил. - (Relata Refero). - Библиогр.:с.273-274(17 назв.). - ISBN 5-354-00761-5.
Авторы: Кецарис А.А.
Шифры: 501 - К 377
Ключевые слова: ЕДИНАЯ ТЕОРИЯ ВЗАИМОДЕЙСТВИЙ, ПРОСТРАНСТВО-ВРЕМЯ, ПРОСТРАНСТВО ТЕНЗОРОВ, КАЛИБРОВОЧНЫЕ ПОЛЯ, УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
16. Книга
Измаилов А.Ф.
Численные методы оптимизации / А.Ф. Измаилов, М.В. Солодов. - М. : Физматлит, 2003. - 300 с. : ил. - Библиогр.:с. 294-296(48 назв.). - ISBN 5-9221-0045-9.
Численные методы оптимизации / А.Ф. Измаилов, М.В. Солодов. - М. : Физматлит, 2003. - 300 с. : ил. - Библиогр.:с. 294-296(48 назв.). - ISBN 5-9221-0045-9.
Авторы: Измаилов А.Ф., Солодов М.В.
Шифры: 519 - И 37
Ключевые слова: ОПТИМИЗАЦИЯ, ЧИСЛЕННЫЕ МЕТОДЫ
Экземпляры: Всего: 2, из них: абнл-1, чзнл-1
Прямая ссылка:
17. Книга
Ковалев М.М.
Дискретная оптимизация.Целочисленное программирование / М.М. Ковалев. - 2-е изд.,стер. - М. : УРСС, 2003. - 191 с. : ил. - Библиогр.:с.190-191(22 назв.). - ISBN 5-354-00499-3.
Дискретная оптимизация.Целочисленное программирование / М.М. Ковалев. - 2-е изд.,стер. - М. : УРСС, 2003. - 191 с. : ил. - Библиогр.:с.190-191(22 назв.). - ISBN 5-354-00499-3.
Авторы: Ковалев М.М.
Шифры: 519 - К 56
Ключевые слова: ОПТИМИЗАЦИЯ ДИСКРЕТНАЯ, ПРОГРАММИРОВАНИЕ МАТЕМАТИЧЕСКОЕ, ПРОГРАММИРОВАНИЕ ЦЕЛОЧИСЛЕННОЕ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
18. Книга
Сухинин М.Ф.
Численное решение задач линейного программирования и вычисление границ спектра симметричной матрицы / М.Ф. Сухинин. - М. : Физматлит, 2002. - 159 с. : ил. - Библиогр.:с.159 ( 15 назв.). - ISBN 5-9221-0242-7.
Численное решение задач линейного программирования и вычисление границ спектра симметричной матрицы / М.Ф. Сухинин. - М. : Физматлит, 2002. - 159 с. : ил. - Библиогр.:с.159 ( 15 назв.). - ISBN 5-9221-0242-7.
Авторы: Сухинин М.Ф.
Шифры: 518 - С 912
Ключевые слова: ЧИСЛЕННЫЕ МЕТОДЫ, ПРОГРАММИРОВАНИЕ ЛИНЕЙНОЕ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
19. Книга
Треногин В.А.
Методы математической физики / В.А. Треногин. - М;Ижевск : Ин-т компьютерных исследований, 2002. - 163 с. : ил. - Библиогр.:с.162-163(17 назв.). - ISBN 5-93972-176-1.
Методы математической физики / В.А. Треногин. - М;Ижевск : Ин-т компьютерных исследований, 2002. - 163 с. : ил. - Библиогр.:с.162-163(17 назв.). - ISBN 5-93972-176-1.
Авторы: Треногин В.А.
Шифры: 501 - Т 663
Ключевые слова: МАТЕМАТИЧЕСКАЯ ФИЗИКА
Экземпляры: Всего: 4, из них: абнл-1, списание-1, чзнл-2
Прямая ссылка:
20. Книга
Кларк Э.М.,мл.
Верификация моделей программ : Model Checking / Кларк Э.М.,мл., О. Грамберг, Д. Пелед; перевод с английского В. Захаров и др., под ред. Р. Смелянского. - М : Моск.центр непрерывного образования, 2002. - 416 с. : ил. - Библиогр.:с.377-399 (251 назв.). - ISBN 5-94057-054-2.
Верификация моделей программ : Model Checking / Кларк Э.М.,мл., О. Грамберг, Д. Пелед; перевод с английского В. Захаров и др., под ред. Р. Смелянского. - М : Моск.центр непрерывного образования, 2002. - 416 с. : ил. - Библиогр.:с.377-399 (251 назв.). - ISBN 5-94057-054-2.
Авторы: Кларк Э.М.,мл., Грамберг О., Пелед Д.
Шифры: 519 - К 474
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ВЕРИФИКАЦИЯ ПРОГРАММ
Экземпляры: Всего: 2, из них: чзнл-2
Прямая ссылка: