Самая популярная книга автора
Нет оценок
2 покупки + до 344 бонусов
Бонусная программа
Итоговая сумма бонусов может отличаться от указанной, если к товару будут применены дополнительные скидки при оформлении заказа. На вашем бонусном счёте может быть не более 5 000 бонусов.
, чтобы увидеть точный размер начислений.
Нет в наличии
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Похожие авторы
Книги похожих авторов
2 005 ₽
1 699 ₽-15%
· 13
1 710 ₽
906 ₽-47%
· 2
1 592 ₽
1 349 ₽-15%
· 5
Только в магазинах
Сетевое программирование. От основ до приложенийАлексей Баринов, Артем Нечипорук
· 1
3 421 ₽
1 711 ₽-50%
Виртуальные города. Нью-Вегас, Раккун-Сити и другие знаменитые города из видеоигрКонстантинос Димопулос
· 3
3 421 ₽
1 847 ₽-46%
Виртуальные города. Нью-Вегас, Раккун-Сити и другие знаменитые города из видеоигрКонстантинос Димопулос
· 3






