Введение в формальные методы верификации программ. 2-е изд., испр - Камкин А.С.
Vvedenie v formal'nye metody verifikatsii programm. 2-e izd., ispr
Камкин А.С. (Kamkin A.S.)
Item ID : 1492463
SKU : VV1492463
ISBN : 9785937003409
Pages : 0
Cover : Hardcover
Year : 2024
Publisher : ДМК Пресс ( DMK Press )
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Камкин А.С. (Kamkin A.S.)
Item ID : 1492463
SKU : VV1492463
ISBN : 9785937003409
Pages : 0
Cover : Hardcover
Year : 2024
Publisher : ДМК Пресс ( DMK Press )
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
You Pay:
$87.54
shipped in 14-16 days
Related products
Байесовская оптимизация с примерами из библиотек Python
Baiesovskaia optimizatsiia s primerami iz bibliotek Python , Nguen K.Нгуен К.
Item: 1495083
$66.80
shipped in 14-16 days
Программирование на Python. Т. 2. 4-е изд
Programmirovanie na Python. T. 2. 4-e izd , Lutts M.Лутц М.
Item: 1495133
$210.80
shipped in 14-16 days