Vvedenie v formal'nye metody verifikatsii programm. 2-e izd., ispr - Kamkin A.
Author: Kamkin A.
Item ID: 1492463
SKU: VV1492463
ISBN: 9785937003409
Pages: 0
Cover:
Year: 2024
Publisher: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Item ID: 1492463
SKU: VV1492463
ISBN: 9785937003409
Pages: 0
Cover:
Year: 2024
Publisher: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
You Pay:
$56.71
Shipped in 14-20 days
Related products
Паттерны коммуникации
Patterny kommunikatsii , Rid D.Рид Д.
Item: 1524315
$52.96
Shipped in 14-20 days
Современные фронтенды на базе HTMX
Sovremennye frontendy na baze HTMX , Deblauv V.Деблаув В.
Item: 1527717
$59.23
Shipped in 14-20 days
Машинное обучение с малым объемом кодирования
Mashinnoe obuchenie s malym ob'emom kodirovaniia , Stripling G.Стриплинг Г.
Item: 1500078
$50.01
Shipped in 14-20 days
Экскурс в неопределенное поведение C++
Ekskurs v neopredelennoe povedenie C++ , Sviridkin D.O., Karpov A.N.Свиридкин Д.О., Карпов А.Н.
Item: 1524334
$47.79
Shipped in 14-20 days
Инжиниринг платформ
Inzhiniring platform , Furn'e K., Noulend I.Фурнье К., Ноуленд И.
Item: 1531003
$64.77
Shipped in 14-20 days
Frontend-разработка сайтов и приложений на HTML, CSS, JavaScript и React
Frontend-razrabotka saitov i prilozhenii na HTML, CSS, JavaScript i React , Kukhtin S.A.Кухтин С.А.
Item: 1521902
$44.30
Shipped in 14-20 days
Основы JetPack Compose
Osnovy JetPack Compose , Smit Norman Ch.Смит Норман Ч.
Item: 1527716
$96.53
Shipped in 14-20 days
Проектирование информационных систем. Профессиональный подход
Proektirovanie informatsionnykh sistem. Professional'nyi podkhod , Turov V.P.Туров В.П.
Item: 1524332
$33.02
Shipped in 14-20 days