РАСПРОДАЖА! Скидка 40% на заказы от $99.00 ИЛИ Скидка 50% на заказы от $169.00

Введение в формальные методы верификации программ. 2-е изд., испр - Камкин А.С.


Автор: Камкин А.С.

Артикул: 1492463
SKU: VV1492463
ISBN: 9785937003409

Количество страниц: 0
Обложка: Hardcover
Год: 2024
Издательство: ДМК Пресс(DMK Press)

Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Ваша цена: $87.54
Not In Stock

Похожие товары

Основы анализа данных на языке R

Osnovy analiza dannykh na iazyke R , Tkachenko N.
Ткаченко Н.
Артикул: 1531074
$131.17
Доставка за 14–20 дней

Python Polars: подробное руководство

Python Polars: podrobnoe rukovodstvo , Ianssens I., N'iudorp T.
Янссенс Й., Ньюдорп Т.
Артикул: 1530996
$170.37
Доставка за 14–20 дней

Программируем на Java

Programmiruem na Java , Ploetts A
Плоетц А
Артикул: 1524329
$92.82
Доставка за 14–20 дней

Искусственный интеллект для периферийных устройств

Iskusstvennyi intellekt dlia periferiinykh ustroistv , Situnaiake D., Plankett Dzh.
Ситунаяке Д., Планкетт Дж.
Артикул: 1500079
$126.06
Доставка за 14–20 дней

Программирование бэкенда на Python. Практическое руководство

Programmirovanie bekenda na Python. Prakticheskoe rukovodstvo , Piters Tom
Питерс Том
Артикул: 1527723
$74.47
Доставка за 14–20 дней

Машинное обучение с малым объемом кодирования

Mashinnoe obuchenie s malym ob'emom kodirovaniia , Stripling G., Abel' M.
Стриплинг Г., Абель М.
Артикул: 1500078
$74.47
Доставка за 14–20 дней

Swift. Самое полное руководство по разработке в примерах от сообщества Stack Overflow

Swift. Samoe polnoe rukovodstvo po razrabotke v primerakh ot soobshchestva Stack Overflow
Артикул: 1500929
$70.33
Доставка за 14–20 дней

Хорошо ли вы знаете Rust?

Khorosho li vy znaete Rust? , Volverson G.
Волверсон Г.
Артикул: 1500136
$52.70
Доставка за 14–20 дней