Элементы анализа программ. Частичные функции на множестве состоянийКНИГИ » ПРОГРАММИНГ
Название: Элементы анализа программ. Частичные функции на множестве состояний Автор: Абрамов С.А. Издательство: Наука Год: 1986 Серия: Библиотечка программиста Формат: djvu Страниц: 130 Размер: 2,3 Mb Язык: Русский
В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Прикладные методы верификации программ Название: Прикладные методы верификации программ Автор: Непомнящий В.А., Рякин О.М. Издательство: М.: Радио и связь Год: 1988 Формат: PDF Страниц:...
Элементы современного программирования Название: Элементы современного программирования Автор: Дмитриева М.В., Кубенский А.А. Издательство: СПб.: Изд-во С.-Петерб. ун-та Год: 1991 Страниц:...
Основы дискретной математики Название: Основы дискретной математики Автор: Гаджиев А.А. Издательство: Махачкала: РИО/ДГТУ Год: 2006 Формат: pdf Страниц: 368 Размер: 33 Mb Язык:...
Элементы теории функций и функционального анализа Название: Элементы теории функций и функционального анализа Автор: Колмогоров А.Н., Фомин С.В. Издательство: М.: ФИЗМАТЛИТ Год: 2004 - 7-е изд....
Защита программ и данных Название: Защита программ и данных Автор: Проскурин В.Г Издательство: «Академия» Год: 2012 ISBN: 978-5-7695-9288-1 Формат: PDF Страниц: 208 Размер:...
Систематический подход к программированию Автор: Выюкова Н. И., Галатенко В. А., Ходулев А. Б. Название: Систематический подход к программированию. Библиотечка программиста Издательство: М:,...
Математические методы анализа Название: Математические методы анализа Автор: Трофимова Е.А., Плотников С.В., Гилев Д.В. Издательство: Изд‑во Уральского ун-та Год: 2016...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Элементы анализа программ. Частичные функции на множестве состояний 
