Главная страница | Новое на сайте | Правила сайта | АВТОРСКИЕ ПРАВА | ЗАПРЕЩЕНО К ПУБЛИКАЦИИ
Вход на сайт
Навигация по сайту
Скачать книги
Художественная литература
.... Детективы. Боевики
.... Фантастика. Фэнтези
.... Триллеры. Мистика. Ужасы
.... Биографии. Мемуары
.... Поэзия
.... Проза
.... Современная русская проза
.... Современная зарубежная литература
.... Любовные романы
.... Исторические романы
.... Юмор и сатира
.... Классика
Детская литература
Справочники. Энциклопедии
.... Энциклопедии
.... Справочники
.... Словари
.... Самоучители
Экономика. Бизнес. Право
.... Менеджмент
.... Маркетинг
.... Бухгалтерский учет
.... Экономика
.... Управление персоналом
.... Деньги
.... Бизнес
.... Юриспруденция
.... Политика
.... Фондовые рынки
.... Другое
Здоровье. Спорт
.... Здоровье
.... Уход за собой
.... Массаж. Мануальная терапия
.... Народная медицина
.... Спорт. Фитнес
Научная медицина
.... Анатомия. Физиология
.... Генетика. Насл. заболевания
.... Акушерство и гинекология. Урология
.... Интенсивная терапия и реанимация
.... Внутренние заболевания
.... Гистология, цитология, эмбриология, микробиология
.... Инфекционные болезни
.... Дерматология и венерология
.... Кардиология
.... Онкология
.... Травматология и Ортопедия
.... Ревматология
.... Офтальмология
.... Оториноларингология
.... Паразитология
.... Патология
.... Педиатрия
.... Психиатрия и Неврология
.... Стоматология
.... Диагностика. УЗИ. ЯМРТ. Исследования
.... Токсикология
.... Фармакология
.... Хирургия
.... Ветеринарная медицина
.... Разные направления
Дом и семья. Хобби
.... Любовь. Дружба. Секс.
.... Дети (воспитание, развитие)
.... Кулинария
.... Сад, огород, хозяйство. Растения
.... О животных
.... Умелые руки
.... Вязание. Шитье. Рукоделие
.... Книги по играм
.... Для коллекционеров
.... Познавательное
.... Музыка. Игра на инструментах
.... Рисование. Фото
.... Охота. Рыбылка
.... Другие хобби и развлечения
Наука и образование
.... Наука
.... Научно-популярное
.... Образование
.... Иностранные языки
.... История
.... Психология. Философия
.... Фундаментальные дисциплины
....... Математика
....... Физика
....... Астрономия
....... Биология
....... Химия
....... География
....... Рус. язык и литература
.... Учебные пособия
.... Другое
Компьютеры и сети
.... Программирование
.... Безопасность. Хакерство
.... Операционные системы
.... Сетевые технологии
.... Дизайн и графика
.... Железо
.... Лит-ра по программам
.... Web-дизайн
.... Созд. и продв. сайта
.... Базы данных
.... ПК и интернет
.... Другая
Человек. Общество
.... Саморазвитие
.... Религия
.... Эзотерика. Астрология. Фэн-шуй. Хиромантия
.... Магия. Заговоры. Гадания
.... Искусство и живопись
.... Культура
.... Страны и народы
.... Человек
.... Земля. Вселенная
.... Непознанное
Техническая и профессиональная литература
.... Строительство. Ремонт
.... Архитектура и дизайн
.... Машиностроение
.... Электротехника
.... Промышленность
.... Профессиональная
.... Военная
.... Военное, холодное, огнестрельное оружие
.... Электроника. Радиотехника. Связь
.... Техника и транспорт
.... Железные дороги
.... Различная тех. литература
Журналы
.... Технические
.... Научные
.... Компьютерные
.... Гуманитарные
.... Экономика и финансы
.... Детские журналы и комиксы
.... Женские журналы
.... Мужские журналы
.... Журналы военной тематики
.... Спортивные
.... Дизайн. Строительство. Ремонт
.... Кулинарные
.... Сад. Огород. Цветник
.... Развлекательные
.... Журналы о здоровье
.... Фото, рисование, искусство
.... Другие
Комиксы, Хентай, Манга
Для взрослых


Авторские права:
Все материалы на сайте представлены исключительно в ознакомительных целях! Авторы, желающие внести поправки, могут связаться с АДМИНИСТРАЦИЕЙ САЙТА.
Скачать книгу Абрамов С.А. Элементы анализа программ. Частичные функции на множестве состояний с сайта онлайн библиотеки www.razym.org

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

--> Компьютеры и сети » Программирование >> Скачать книгу
Абрамов С.А. Элементы анализа программ. Частичные функции на множестве состояний
Название: Элементы анализа программ. Частичные функции на множестве состояний
Автор: Абрамов С.А.
Издательство: М.: Наука
Год: 1986
Страниц: 130
ISBN: 519-20122017-64
Серия: Библиотечка программиста
Язык: Русский
Формат: djvu
Размер: 13,9 Мб
Качество: хорошее, текстовый слой, оглавление.

Анализ программ как одно из направлений теории программирования берет начало от работ П. Наура и Р. Флойда по доказательству правильности (верификации) программ. В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги — дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Существуют следующие подходы к формальной верификации: формальная семантика языков программирования; написание программ, которые верны по построению; проверка моделей; логический вывод; символьное выполнение; абстрактная интерпретация; систематический анализ алгоритмов и программ; технологии доказательного программирования. Эта книга для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.





Ссылки для ознакомления:

 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо зайти на сайт под своим именем.





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

  • Монаппа К.А. - Анализ вредоносных программ
  • Дмитриева М.В., Кубенский А.А. - Элементы современного программирования
  • Непомнящий В.А., Рякин О.М. - Прикладные методы верификации программ
  • Самойленко М.В. - Структурное программирование. Алгоритмы программ
  • Чинин Г.Д. (ред.) - Векторизация программ: теория, методы, реализация
  • Касьянов В.Н. - Оптимизирующие преобразования программ
  • Лаврищева Е.М. - Методы программирования. Теория, инженерия, практика
  • Сборник - Сборник научных программ на Фортране
  • Андерсон Р. - Доказательство правильности программ
  • Софт для Русификации программ




  • Вы можете разместить ссылку на книгу Абрамов С.А. Элементы анализа программ. Частичные функции на множестве состояний на своем сайте, блоге, любимом форуме или просто поделиться ей с друзьями:
    HTML ссылка на книгу Абрамов С.А. Элементы анализа программ. Частичные функции на множестве состояний:

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

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


    Помощь по использованию электронной библиотеки книг:

    Как скачать книги с rapidshare.com, depositfiles.com, letitbit.net
    Чем открыть файлы формата djvu
    Чем открыть файлы формата .fb2
    Чем открыть файлы формата .pdf


    Книги скачать бесплатно
    Аудиокниги скачать бесплатно
    Видеоуроки скачать бесплатно
    Журналы скачать бесплатно

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


    Информация
    Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.

    Навигация по сайту
    АУДИОКНИГИ
    .... Художественные аудиокниги
    .... Классические аудиокниги
    .... Компьютерные аудиокниги
    .... Образование
    .... Исторические аудиокниги. Биографии
    .... Аудиокурсы иностранных языков
    .... Психология. Саморазвитие
    .... Религия и философия
    .... Здоровье
    .... Бизнес. Менеджмент. Карьера
    .... Юмор. Развлечения
    .... Детские аудиокниги. Аудиосказки
    .... Аудиоспектакли
    .... Звуки природы
    .... Разные аудиокниги

    ВИДЕОУРОКИ
    .... Бизнес. Маркетинг
    .... Изучение компьютерных программ. Видеоуроки Photoshop. Web-дизайн
    .... Образовательное видео
    .... Видеокурсы иностранных языков
    .... Психология. НЛП
    .... Медицина и здоровье
    .... Саморазвитие. Эзотерика. Йога. Оздоровительные практики
    .... Спорт. Фитнес. Тренировки
    Аэробика. Танцы

    .... Видео по уходу за собой
    Красота. Стиль

    .... Беременность и материнство
    .... Воспитание и обучение детей
    .... Любовь. Секс. Отношения
    .... Дизайн. Строительство
    Ремонтные работы

    .... Охота и рыбалка
    .... Видео по шитью, рукоделию
    .... Игра на муз. инструментах
    .... Разные хобби
    .... Автомобильная тема
    .... Разные видеоуроки

    ДОКУМЕНТАЛЬНОЕ ВИДЕО
    ( BBC. Discovery
    National Geographic
    Познавательные телепередачи )

    ПРОГРАММЫ ДЛЯ ПК (Софт)
    .... Словари. Переводчики
    .... Программы для дизайнеров
    .... Образование и для бизнеса
    .... Разный софт

    ИГРЫ ДЛЯ ПК

    МУЗЫКА. MP3

    ОБОИ. Графика

    Фильмы/Видео/Мультфильмы

    Дубли

    Поможем болеющим детям!!!



    © razym.org | Скачать книги, аудиокниги, видеоуроки, журналы бесплатно | Электронная библиотека
    Портал razym.org является самообновляемым, информацию на сайт добавляют пользователи, согласные с тем, что они не нарушают авторских прав.
    На данном сайте представлены исключительно ссылки на другие ресурсы. Размещение любой информации, нарушающей авторское право, будет незамедлительно удалено.