Введение в формальные методы верификации программ. 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 дней
Похожие товары
Искусство программирования. В 4 т (комплект из 4-х книг)
Iskusstvo programmirovaniia. V 4 t (komplekt iz 4-kh knig) , Knut D.E.Кнут Д.Э.
Артикул: 1514342
$962.73
Доставка за 14–20 дней
Байесовская оптимизация с примерами из библиотек Python
Baiesovskaia optimizatsiia s primerami iz bibliotek Python , Nguen K.Нгуен К.
Артикул: 1495083
$53.22
Доставка за 14–20 дней
SEO - искусство раскрутки сайтов. 4-е изд.
SEO - iskusstvo raskrutki saitov. 4-e izd. , Enzh E.Энж Э.
Артикул: 1495084
$75.85
Доставка за 14–20 дней
Java. Основы программирования
Java. Osnovy programmirovaniia , Svetlin NakovСветлин Наков
Артикул: 1502483
$37.55
Доставка за 14–20 дней
Архитектура cложных веб-приложений. С примерами на Laravel
Arkhitektura clozhnykh veb-prilozhenii. S primerami na Laravel , Faizrakhmanov A.I.Файзрахманов А.И.
Артикул: 1524325
$29.70
Доставка за 14–20 дней
Spring и Spring Boot. Разработка облачных приложений на Java
Spring i Spring Boot. Razrabotka oblachnykh prilozhenii na Java , Urvanov F.V.Урванов Ф.В.
Артикул: 1501498
$53.70
Доставка за 14–20 дней
Django 5. Практика создания веб-сайтов на Python
Django 5. Praktika sozdaniia veb-saitov na Python , Dronov V.A.Дронов В.А.
Артикул: 1524339
$88.41
Доставка за 14–20 дней
Программируем на Java
Programmiruem na Java , Ploetts A.Плоетц А.
Артикул: 1524329
$61.83
Доставка за 14–20 дней