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

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


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

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

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

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


Доставка за 14–20 дней

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

Глубокое обучение в JAX

Glubokoe obuchenie v JAX , Sapunov G
Сапунов Г
Артикул: 1524378
$199.72
Доставка за 14–20 дней

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

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

Django 5. Практика создания веб-сайтов на Python

Django 5. Praktika sozdaniia veb-saitov na Python , Dronov V.A.
Дронов В.А.
Артикул: 1524339
$88.41
Доставка за 14–20 дней

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

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

Frontend-разработка сайтов и приложений на HTML, CSS, JavaScript и React

Frontend-razrabotka saitov i prilozhenii na HTML, CSS, JavaScript i React , Kukhtin S.A.
Кухтин С.А.
Артикул: 1521902
$44.30
Доставка за 14–20 дней

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

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

Искусство программирования. В 4 т (комплект из 4-х книг)

Iskusstvo programmirovaniia. V 4 t (komplekt iz 4-kh knig) , Knut D.E.
Кнут Д.Э.
Артикул: 1514352
$864.58
Доставка за 14–20 дней

Современный C#. Разработка настольных, облачных, мобильных и веб-приложений

Sovremennyi C#. Razrabotka nastol'nykh, oblachnykh, mobil'nykh i veb-prilozhenii , Griffits Ien
Гриффитс Иэн
Артикул: 1530993
$134.93
Доставка за 14–20 дней