Элементы анализа программ. Частичные функции на множестве состояний » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Recent Advances in Sciences, Engineering, Information Technology & Management Recent Advances in Sciences, Engineering, Information Technology & Management Biofluid Dynamics of Human Body Systems: Expanded and Revised Edition Biofluid Dynamics of Human Body Systems: Expanded and Revised Edition Explainable Artificial Intelligence in Medical Imaging: Fundamentals and Applications Explainable Artificial Intelligence in Medical Imaging: Fundamentals and Applications Methods of Developing Sliding Mode Controllers: Design and MATLAB Simulation Methods of Developing Sliding Mode Controllers: Design and MATLAB Simulation Высшая математика для экономистов (3-е издание) Высшая математика для экономистов (3-е издание) Советско-финская война. Прорыв линии Маннергейма (1939 - 1940) Советско-финская война. Прорыв линии Маннергейма (1939 - 1940) Три политические системы: Николай I, Александр II и Александр III Три политические системы: Николай I, Александр II и Александр III Экономическая история мира (в 5-ти томах) Экономическая история мира (в 5-ти томах) Собираем устройства для тестов на проникновение Собираем устройства для тестов на проникновение Вероятностные структуры макромира: землетрясения, ураганы, наводнения... Вероятностные структуры макромира: землетрясения, ураганы, наводнения... Deep Learning Applications in Medical Image Segmentation: Overview, Approaches, and Challenges Deep Learning Applications in Medical Image Segmentation: Overview, Approaches, and Challenges Занимательные внеурочные мероприятия по физике. 7–11 классы Занимательные внеурочные мероприятия по физике. 7–11 классы Efficient Node.Js: A Beyond-The-Basics Guide Efficient Node.Js: A Beyond-The-Basics Guide Генетический анализ Генетический анализ Украина как объект международной контрреволюции Украина как объект международной контрреволюции Обнаружение и нейтрализация геопатогенных излучений Земли Обнаружение и нейтрализация геопатогенных излучений Земли
Recent Advances in Sciences, Engineering, Information Technology & Management Recent Advances in Sciences, Engineering, Information Technology & Management Biofluid Dynamics of Human Body Systems: Expanded and Revised Edition Biofluid Dynamics of Human Body Systems: Expanded and Revised Edition Explainable Artificial Intelligence in Medical Imaging: Fundamentals and Applications Explainable Artificial Intelligence in Medical Imaging: Fundamentals and Applications Methods of Developing Sliding Mode Controllers: Design and MATLAB Simulation Methods of Developing Sliding Mode Controllers: Design and MATLAB Simulation Высшая математика для экономистов (3-е издание) Высшая математика для экономистов (3-е издание) Советско-финская война. Прорыв линии Маннергейма (1939 - 1940) Советско-финская война. Прорыв линии Маннергейма (1939 - 1940) Три политические системы: Николай I, Александр II и Александр III Три политические системы: Николай I, Александр II и Александр III Экономическая история мира (в 5-ти томах) Экономическая история мира (в 5-ти томах) Собираем устройства для тестов на проникновение Собираем устройства для тестов на проникновение Вероятностные структуры макромира: землетрясения, ураганы, наводнения... Вероятностные структуры макромира: землетрясения, ураганы, наводнения... Deep Learning Applications in Medical Image Segmentation: Overview, Approaches, and Challenges Deep Learning Applications in Medical Image Segmentation: Overview, Approaches, and Challenges Занимательные внеурочные мероприятия по физике. 7–11 классы Занимательные внеурочные мероприятия по физике. 7–11 классы Efficient Node.Js: A Beyond-The-Basics Guide Efficient Node.Js: A Beyond-The-Basics Guide Генетический анализ Генетический анализ Украина как объект международной контрреволюции Украина как объект международной контрреволюции Обнаружение и нейтрализация геопатогенных излучений Земли Обнаружение и нейтрализация геопатогенных излучений Земли
Категория: КНИГИ » ПРОГРАММИРОВАНИЕ
Элементы анализа программ. Частичные функции на множестве состояний
Добавил: kotmatros255 / 5-09-2017, 12:41 /
Название: Элементы анализа программ. Частичные функции на множестве состояний
Автор: Абрамов С.А.
Издательство: Наука
Год: 1986
Серия: Библиотечка программиста
Формат: djvu
Страниц: 130
Размер: 2,3 Mb
Язык: Русский

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

Скачать с Up-4ever.com
Скачать с Depositfiles.com



ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!