Введение в формальные методы верификации программ. 2-е изд., испр - Камкин А.
Автор: Камкин А.
Артикул: 1492463
SKU: VV1492463
ISBN: 9785937003409
Количество страниц: 0
Обложка:
Год: 2024
Издательство: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Артикул: 1492463
SKU: VV1492463
ISBN: 9785937003409
Количество страниц: 0
Обложка:
Год: 2024
Издательство: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Ваша цена:
$66.91
Доставка за 14–20 дней
Похожие товары
CSS для профессионалов. Руководство по разработке в примерах от сообщества Stack Overflow
CSS dlia professionalov. Rukovodstvo po razrabotke v primerakh ot soobshchestva Stack Overflow , ..
Артикул: 1522078
$38.94
Доставка за 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 дней
Принципы модернизации программных архитектур
Printsipy modernizatsii programmnykh arkhitektur , Pacheko D., Sgro S.Пачеко Д., Сгро С.
Артикул: 1535910
$88.78
Доставка за 14–20 дней
Проектирование информационных систем. Профессиональный подход
Proektirovanie informatsionnykh sistem. Professional'nyi podkhod , Turov V.P.Туров В.П.
Артикул: 1524332
$33.02
Доставка за 14–20 дней
Начинаем программировать на Python. С примерами и заданиями
Nachinaem programmirovat' na Python. S primerami i zadaniiami , Das U., Louson O., Meifild K.Дас У., Лоусон О., Мэйфилд К.
Артикул: 1522073
$38.94
Доставка за 14–20 дней
Основы JetPack Compose
Osnovy JetPack Compose , Smit Norman Ch.Смит Норман Ч.
Артикул: 1527716
$96.53
Доставка за 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 дней