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
Программируем на Java
Programmiruem na Java , Ploetts A.Плоетц А.
Item: 1524329
$61.83
Shipped in 14-20 days
Web API. Сборник рецептов
Web API. Sbornik retseptov , Attardi D.Аттарди Д.
Item: 1527710
$59.23
Shipped in 14-20 days
Хорошо ли вы знаете Rust?
Khorosho li vy znaete Rust? , Volverson G.Волверсон Г.
Item: 1500136
$36.27
Shipped in 14-20 days
C# Concurrency. Асинхронное программирование и многопоточность
C# Concurrency. Asinkhronnoe programmirovanie i mnogopotochnost' , Dobovitski N.Добовицки Н.
Item: 1523056
$78.69
Shipped in 14-20 days
C++. 20 уроков для начинающих
C++. 20 urokov dlia nachinaiushchikh , Laptev V.V.Лаптев В.В.
Item: 1524337
$51.85
Shipped in 14-20 days
Архитектура cложных веб-приложений. С примерами на Laravel
Arkhitektura clozhnykh veb-prilozhenii. S primerami na Laravel , Faizrakhmanov A.I.Файзрахманов А.И.
Item: 1524325
$29.70
Shipped in 14-20 days
React 19. Разработка веб-приложений на JavaScript
React 19. Razrabotka veb-prilozhenii na JavaScript , Dronov V.A.Дронов В.А.
Item: 1497569
$53.22
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