Методы верификации программ. Миронов А. М
- Артикул: BC-078238
- Наличие: В наличии
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Также она представляет интерес для специалистов в данных областях
| Информация о книге | |
| Автор | Миронов А. М |
| Обложка | Мягкий |
| Язык издания | Русский |
| Страниц | 336 |
Сопутствующие товары
Облачный Go. Титмус М.А.
Что общего у Docker, Kubernetes и Prometheus? Все эти облачные технологии написаны на языке программирования Go. В этой практической книге показано, как использовать сильные стороны Go для разработки масштабируемых и устойчивых облачных служб, действ..
819.00 грн.
Изучаем Python. Марк Лутц. 5-е издание. 2-й том.
Авторитетный курс объектно-ориентированного программирования!С помощью этой практической книги вы получите всестороннее и глубокое введение в основы языка Python. Будучи основанным на популярном учебном курсе Марка Лутца, обновленное 5..
880.00 грн.
Рекурсивная книга о рекурсии. Эл Свейгарт
Книга «Рекурсивная книга о рекурсии» содержит примеры кода на языке Python и JavaScript, которые иллюстрируют основы рекурсии и проясняют фундаментальные принципы всех рекурсивных алгоритмов. Из книги вы узнаете о том, когда стоит использовать рекурс..
630.00 грн.
Programming Android with Kotlin. Pierre-Olivier Laurence, Amanda Hinchman-Dominguez
Developing applications for the Android mobile operating system can seem daunting, particularly if it requires learning a new programming language: Kotlin, now AndroidA???s official development language. With this practical book, Android developers w..
680.00 грн.
Нечеткое сопоставление данных в SQL. Джим Лемер
Практики, методики и приемы, которые помогут вам выявлять и удалять дубликатыВы получили два разных, но связанных между собой набора данных? Что делать? Какие инструменты использовать для поиска совпадений? А если все, что у вас есть, — это доступ к ..
649.00 грн.
{Вы пока еще не знаете JS} Область видимости и замыкания. 2-е межд. издание Симпсон К.
Вы пока еще не знаете JS. И Кайл Симпсон признается, что тоже его не знает (по крайней мере полностью)… И никто не знает. Но все мы можем начать работать над тем, чтобы узнать его лучше. Сколько бы времени вы ни провели за изучением языка, всегда мож..
290.00 грн.
Behavioral Data Analysis with R and Python. 1st Ed. Florent Buisson (english)
Harness the full power of the behavioral data in your company by learning tools specifically designed for behavioral data analysis. Common data science algorithms and predictive analytics tools treat customer behavioral data, such as clicks on a webs..
680.00 грн.
Разработка требований к программному обеспечению. 3-е издание. Вигерс Карл, Джой Битти
"Эта книга - настоящая классика бизнес- анализа, а в третьем издании авторам удивительным образом удалось ухватить самые новые веяния в этой области". Кевин Бреннан (Kevin Brennan), ведущий бизнес- аналитик и исполнительный вице-президе..
569.00 грн.