Введение в формальные методы верификации программ. 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 дней
Похожие товары
Современные фронтенды на базе HTMX
Sovremennye frontendy na baze HTMX , Deblauv V.Деблаув В.
Артикул: 1527717
$59.23
Доставка за 14–20 дней
Паттерны коммуникации
Patterny kommunikatsii , Rid D.Рид Д.
Артикул: 1524315
$52.96
Доставка за 14–20 дней
Django 5. Практика создания веб-сайтов на Python
Django 5. Praktika sozdaniia veb-saitov na Python , Dronov V.A.Дронов В.А.
Артикул: 1524339
$88.41
Доставка за 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.Кнут Д.Э.
Артикул: 1514342
$864.58
Доставка за 14–20 дней
Java. Основы программирования
Java. Osnovy programmirovaniia , Svetlin NakovСветлин Наков
Артикул: 1502483
$37.55
Доставка за 14–20 дней
Web API. Сборник рецептов
Web API. Sbornik retseptov , Attardi D.Аттарди Д.
Артикул: 1527710
$59.23
Доставка за 14–20 дней
Глубокое обучение в JAX
Glubokoe obuchenie v JAX , Sapunov GСапунов Г
Артикул: 1524378
$199.72
Доставка за 14–20 дней