Vvedenie v formal'nye metody verifikatsii programm. 2-e izd., ispr - Kamkin A.S.
Author: Kamkin A.S.
Item ID: 1492463
SKU: VV1492463
ISBN: 9785937003409
Pages: 0
Cover: Hardcover
Year: 2024
Publisher: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Item ID: 1492463
SKU: VV1492463
ISBN: 9785937003409
Pages: 0
Cover: Hardcover
Year: 2024
Publisher: ДМК Пресс(DMK Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
You Pay:
$87.54
Not In Stock
Related products
Программируем на Java
Programmiruem na Java , Ploetts AПлоетц А
Item: 1524329
$92.82
Shipped in 14-20 days
Современный C#. Разработка настольных, облачных, мобильных и веб-приложений
Sovremennyi C#. Razrabotka nastol'nykh, oblachnykh, mobil'nykh i veb-prilozhenii , Griffits IenГриффитс Иэн
Item: 1530993
$206.29
Shipped in 14-20 days
Python Polars: подробное руководство
Python Polars: podrobnoe rukovodstvo , Ianssens I., N'iudorp T.Янссенс Й., Ньюдорп Т.
Item: 1530996
$170.37
Shipped in 14-20 days
Искусство программирования. В 4 т (комплект из 4-х книг)
Iskusstvo programmirovaniia. V 4 t (komplekt iz 4-kh knig) , Knut D.E.Кнут Д.Э.
Item: 1514342
$838.94
Shipped in 14-20 days
Тестирование, контроль и оптимизация кода Java
Testirovanie, kontrol' i optimizatsiia koda Java , Pevnenko A.A.Певненко А.А.
Item: 1518899
$52.95
Shipped in 14-20 days
Паттерны коммуникации
Patterny kommunikatsii , Rid D.Рид Д.
Item: 1524315
$79.06
Shipped in 14-20 days
Экскурс в неопределенное поведение C++
Ekskurs v neopredelennoe povedenie C++ , Sviridkin D.O., Karpov A.N.Свиридкин Д.О., Карпов А.Н.
Item: 1524334
$71.03
Shipped in 14-20 days
Программирование на Python. Т. 2. 4-е изд
Programmirovanie na Python. T. 2. 4-e izd , Lutts M.Лутц М.
Item: 1495133
$217.31
Shipped in 14-20 days