Введение в формальные методы верификации программ. 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 дней
Похожие товары
Проектирование информационных систем. Профессиональный подход
Proektirovanie informatsionnykh sistem. Professional'nyi podkhod , Turov V.P.Туров В.П.
Артикул: 1524332
$33.02
Доставка за 14–20 дней
Профессия: Python-разработчик
Professiia: Python-razrabotchik , Adonin A.Адонин А.
Артикул: 1508107
$44.30
Доставка за 14–20 дней
Основы JetPack Compose
Osnovy JetPack Compose , Smit Norman Ch.Смит Норман Ч.
Артикул: 1527716
$96.53
Доставка за 14–20 дней
Серверные приложения на Python, Django, Flask и FastAPI + виртуальный диск с примерами
Servernye prilozheniia na Python, Django, Flask i FastAPI + virtual'nyi disk s primerami , Bukharev R. S.Бухарев Р. С.
Артикул: 1531145
$44.30
Доставка за 14–20 дней
Принципы модернизации программных архитектур
Printsipy modernizatsii programmnykh arkhitektur , Pacheko D., Sgro S.Пачеко Д., Сгро С.
Артикул: 1535910
$88.78
Доставка за 14–20 дней
Изучаем Python: Т. 2, 1 (комплект из 2-х книг)
Izuchaem Python: T. 2, 1 (komplekt iz 2-kh knig) , Lutts M.Лутц М.
Артикул: 1504908
$363.95
Доставка за 14–20 дней
Безопасный С++. Руководство по безопасному проектированию и разработке программ
Bezopasnyi S++. Rukovodstvo po bezopasnomu proektirovaniiu i razrabotke programm , Talantov S.V.Талантов С.В.
Артикул: 1519103
$37.55
Доставка за 14–20 дней
Тестирование, контроль и оптимизация кода Java
Testirovanie, kontrol' i optimizatsiia koda Java , Pevnenko A.Певненко А.
Артикул: 1518899
$40.00
Доставка за 14–20 дней