18+
На сайте представлено только описание и выходные данные книги «Элементы анализа программ. Частичные функции на множестве состояний С. А. Абрамов». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Элементы анализа программ. Частичные функции на множестве состояний С. А. Абрамов». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтвердаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ.Издательство: Наука Это и многое другое вы найдете в книге Элементы анализа программ. Частичные функции на множестве состояний (С. А. Абрамов)
| Полное название книги | С. А. Абрамов Элементы анализа программ. Частичные функции на множестве состояний |
| Тип | Книга |
| Автор | С. А. Абрамов |
| Категории | Образование и наука, Книги |
| ISBN | |
| Возрастное ограничение | 18 |
| Издательство | |
| Год | 1986 |
| Название транслитом | elementy-analiza-programm-chastichnye-funkcii-na-mnozhestve-sostoyaniy-s-a-abramov |
| Просмотров | 3 |
| Рейтинг izbe.ru | 0,0 |
Мари Мур
Брук Лин
Конкордия Антарова
Дэниел Киз
Абрахам Вергезе
Аида Синицына
Вадим Зеланд
Сергей Лукьяненко
Роберт Грин
Виктор Дашкевич
Роман Прокофьев
Пауло Коэльо
