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

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


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

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

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

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


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

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

Тестирование, контроль и оптимизация кода Java

Testirovanie, kontrol' i optimizatsiia koda Java , Pevnenko A.
Певненко А.
Артикул: 1518899
$40.00
Доставка за 14–20 дней

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

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

Паттерны коммуникации

Patterny kommunikatsii , Rid D.
Рид Д.
Артикул: 1524315
$52.96
Доставка за 14–20 дней

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

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

Байесовская оптимизация с примерами из библиотек Python

Baiesovskaia optimizatsiia s primerami iz bibliotek Python , Nguen K.
Нгуен К.
Артикул: 1495083
$53.22
Доставка за 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 дней

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

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