Методы верификации программ ДМК-Пресс

3 091

Наличные, б/н, visa, qiwi, webmoney, я.деньги

В наличии на складе интернет-магазина.

Интернет-магазин отправит завтра в ваш населенный пункт от 100 .

Оплачивайте при получении или любыми другими способами.

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Также она представляет интерес для специалистов в данных областях.

2 185

2 428

3 091

3 628

3 640

4 854

4 891

Заказывая товар через наш сайт вы можете быть уверены в том, что товар будет качественным и доставка будет в срок.

Более 1 000 000 покупателей уже воспользовались нашим сервисом.

Оцените нас — сделайте заказ прямо сейчас!