Введение в формальные методы верификации программ. 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 дней
Похожие товары
Байесовская оптимизация с примерами из библиотек Python
Baiesovskaia optimizatsiia s primerami iz bibliotek Python , Nguen K.Нгуен К.
Артикул: 1495083
$53.22
Доставка за 14–20 дней
Принципы модернизации программных архитектур
Printsipy modernizatsii programmnykh arkhitektur , Pacheko D., Sgro S.Пачеко Д., Сгро С.
Артикул: 1535910
$88.78
Доставка за 14–20 дней
Основы JetPack Compose
Osnovy JetPack Compose , Smit Norman Ch.Смит Норман Ч.
Артикул: 1527716
$96.53
Доставка за 14–20 дней
Профессия: Python-разработчик
Professiia: Python-razrabotchik , Adonin A.Адонин А.
Артикул: 1508107
$44.30
Доставка за 14–20 дней
Экскурс в неопределенное поведение C++
Ekskurs v neopredelennoe povedenie C++ , Sviridkin D.O., Karpov A.N.Свиридкин Д.О., Карпов А.Н.
Артикул: 1524334
$47.79
Доставка за 14–20 дней
Искусство программирования. В 4 т (комплект из 4-х книг)
Iskusstvo programmirovaniia. V 4 t (komplekt iz 4-kh knig) , Knut D.E.Кнут Д.Э.
Артикул: 1514352
$864.58
Доставка за 14–20 дней
Программирование бэкенда на Python. Практическое руководство
Programmirovanie bekenda na Python. Prakticheskoe rukovodstvo , Piters TomПитерс Том
Артикул: 1527723
$50.01
Доставка за 14–20 дней
Искусственный интеллект для периферийных устройств
Iskusstvennyi intellekt dlia periferiinykh ustroistv , Situnaiake D.Ситунаяке Д.
Артикул: 1500079
$83.24
Доставка за 14–20 дней