Введение в формальные методы верификации программ. 2-е изд., испр - Камкин А.
Автор: Камкин А.
Артикул: 1492463
SKU: VV1492463
ISBN: 9785937003409
Количество страниц: 0
Обложка: -
Год: 2024
Издательство: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Артикул: 1492463
SKU: VV1492463
ISBN: 9785937003409
Количество страниц: 0
Обложка: -
Год: 2024
Издательство: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Ваша цена:
$56.71
Доставка за 14–20 дней
Похожие товары
Основы JetPack Compose
Osnovy JetPack Compose , Smit Norman Ch.Смит Норман Ч.
Артикул: 1527716
$96.53
Доставка за 14–20 дней
C# глазами хакера. 2-е изд
C# glazami khakera. 2-e izd , Flenov MikhailФленов Михаил
Артикул: 1497579
$37.82
Доставка за 14–20 дней
Машинное обучение с малым объемом кодирования
Mashinnoe obuchenie s malym ob'emom kodirovaniia , Stripling G.Стриплинг Г.
Артикул: 1500078
$50.01
Доставка за 14–20 дней
Искусственный интеллект для периферийных устройств
Iskusstvennyi intellekt dlia periferiinykh ustroistv , Situnaiake D.Ситунаяке Д.
Артикул: 1500079
$83.24
Доставка за 14–20 дней
React 19. Разработка веб-приложений на JavaScript
React 19. Razrabotka veb-prilozhenii na JavaScript , Dronov V.A.Дронов В.А.
Артикул: 1497569
$53.22
Доставка за 14–20 дней
Базовые алгоритмы. Реализация на Python и C++ на примере классических игр
Bazovye algoritmy. Realizatsiia na Python i C++ na primere klassicheskikh igr , Dovgaliuk P.M.Довгалюк П.М.
Артикул: 1524328
$50.38
Доставка за 14–20 дней
C++. 20 уроков для начинающих
C++. 20 urokov dlia nachinaiushchikh , Laptev V.V.Лаптев В.В.
Артикул: 1524337
$51.85
Доставка за 14–20 дней
Архитектура cложных веб-приложений. С примерами на Laravel
Arkhitektura clozhnykh veb-prilozhenii. S primerami na Laravel , Faizrakhmanov A.I.Файзрахманов А.И.
Артикул: 1524325
$29.70
Доставка за 14–20 дней