Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Абрамов С.А. — Элементы анализа программ. Частичные функции на множестве состояний
Абрамов С.А. — Элементы анализа программ. Частичные функции на множестве состояний



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Элементы анализа программ. Частичные функции на множестве состояний

Автор: Абрамов С.А.

Аннотация:

В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги — дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ.
Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.


Язык: ru

Рубрика: Computer science/

Серия: Сделано в холле

Статус предметного указателя: Нет и не будет

ed2k: ed2k stats

Год издания: 1986

Количество страниц: 128

Добавлена в каталог: 22.11.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте