Введение в формальные методы верификации программ. 2-е изд., испр - Камкин А.С.
Автор: Камкин А.С.
Артикул: 1492463
SKU: VV1492463
ISBN: 9785937003409
Количество страниц: 0
Обложка: Hardcover
Год: 2024
Издательство: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Артикул: 1492463
SKU: VV1492463
ISBN: 9785937003409
Количество страниц: 0
Обложка: Hardcover
Год: 2024
Издательство: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Ваша цена:
$87.54
Not In Stock
Похожие товары
Современный C#. Разработка настольных, облачных, мобильных и веб-приложений
Sovremennyi C#. Razrabotka nastol'nykh, oblachnykh, mobil'nykh i veb-prilozhenii , Griffits IenГриффитс Иэн
Артикул: 1530993
$206.29
Доставка за 14–20 дней
Современные фронтенды на базе HTMX
Sovremennye frontendy na baze HTMX , Deblauv VДеблаув В
Артикул: 1527717
$88.81
Доставка за 14–20 дней
Хорошо ли вы знаете Rust?
Khorosho li vy znaete Rust? , Volverson G.Волверсон Г.
Артикул: 1500136
$52.70
Доставка за 14–20 дней
Python Polars: подробное руководство
Python Polars: podrobnoe rukovodstvo , Ianssens I., N'iudorp T.Янссенс Й., Ньюдорп Т.
Артикул: 1530996
$170.37
Доставка за 14–20 дней
Искусство программирования. В 4 т (комплект из 4-х книг)
Iskusstvo programmirovaniia. V 4 t (komplekt iz 4-kh knig) , Knut D.E.Кнут Д.Э.
Артикул: 1514352
$838.94
Доставка за 14–20 дней
QA: тестирование, автоматизация и процессы на экспертном уровне
QA: testirovanie, avtomatizatsiia i protsessy na ekspertnom urovne , Tiul'kin I.V.Тюлькин И.В.
Артикул: 1524373
$123.31
Доставка за 14–20 дней
Web API. Сборник рецептов
Web API. Sbornik retseptov , Attardi DzhАттарди Дж
Артикул: 1527710
$88.81
Доставка за 14–20 дней
Глубокое обучение в JAX
Glubokoe obuchenie v JAX , Sapunov GСапунов Г
Артикул: 1524378
$193.92
Доставка за 14–20 дней