Методы верификации программ. Миронов А. М
- Артикул: BC-078238
- Наличие: В наличии
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Также она представляет интерес для специалистов в данных областях
| Информация о книге | |
| Автор | Миронов А. М |
| Обложка | Мягкий |
| Язык издания | Русский |
| Страниц | 336 |
Сопутствующие товары
Тестирование DOT COM или Пособие по жестокому обращению с багами в интернет-стартапах. Савин Роман
Этот курс лекций создан для тех, кто хочет обучиться тестированию, получить работу тестировщика в российской или западной интернет-ком- пании, понять, как вести себя в корпоративном окружении, и добиться профессионального и личностного роста. Он буде..
330.00 грн.
Кодер с улицы. Правила нарушать рекомендуется. Капаноглу Седат
Джунам и вчерашним выпускникам вузов катастрофически не хватает «уличного» опыта. Чтобы стать отличным разработчиком, понадобятся вполне конкретные навыки, позволяющие превратить теорию в практику, а также понимание того, в какие моменты можно наруша..
720.00 грн.
Графовые алгоритмы (цветное издание) Нидхем М., Холдер Э.
Эта книга представляет собой практическое руководство по началу работы с графовыми алгоритмами для разработчиков и специалистов по анализу данных, которые имеют опыт использования Apache Spark™ или Neo4j. Хотя в наших примерах алгорит..
570.00 грн.
Beginning C: From Beginner to Pro. Seventh Edition. German Gonzalez-Morris, Ivor Horton
Learn how to program using C, beginning from first principles and progressing through step-by-step examples. This seventh edition is fully updated to reflect new features of C23, and addresses deprecated functions and features that are no longer supp..
1 150.00 грн.
Arduino. Большая книга рецептов. 3-е издание. Джепсон Брайан, Марголис Майкл, Уэлдин Николас Роберт
Этот справочник будет идеальным пособием для любого, кто хочет создавать проекты на базе популярной платформы Arduino. Он содержит подробное описание решений свыше 200 практических задач по созданию различных устройств и приспособлений, включая проек..
850.00 грн.
Компьютерные сети. 6-е изд. Таненбаум Э. С. , Фимстер Н. , Уэзеролл Д.
Перед вами шестое издание самой авторитетной книги по современным сетевым технологиям, написанное признанным экспертом Эндрю Таненбаумом в соавторстве со специалистом компании Google Дэвидом Уэзероллом и профессором Чикагского университета Ником Фимс..
1 050.00 грн.
Linux. Книга рецептов. 2-е изд. Шредер Карла
Книга рецептов обучит начинающих пользователей и администраторов Linux управлять системой, используя как графические инструменты, так и командную строку. Независимо от того, используете ли вы Linux во встроенных или настольных системах, серверах, обл..
560.00 грн.
OCA: Oracle Certified Associate Java SE 8 Programmer I Study Guide: Exam 1Z0-808 1st Edition, Jeanne Boyarsky, Scott Selikoff
Full coverage of functional programming and all OCA Java Programmer exam objectives OCA, Oracle Certified Associate Java SE 8 Programmer I Study Guide, Exam 1Z0-808 is a comprehensive study guide for those taking the Oracle Certified Associate Jav..
680.00 грн.