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:
$66.91
Shipped in 14-20 days
Related products
Тестирование, контроль и оптимизация кода Java
Testirovanie, kontrol' i optimizatsiia koda Java , Pevnenko A.Певненко А.
Item: 1518899
$40.00
Shipped in 14-20 days
Искусство программирования. В 4 т (комплект из 4-х книг)
Iskusstvo programmirovaniia. V 4 t (komplekt iz 4-kh knig) , Knut D.E.Кнут Д.Э.
Item: 1514352
$864.58
Shipped in 14-20 days
Паттерны коммуникации
Patterny kommunikatsii , Rid D.Рид Д.
Item: 1524315
$52.96
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
C++. 20 уроков для начинающих
C++. 20 urokov dlia nachinaiushchikh , Laptev V.V.Лаптев В.В.
Item: 1524337
$51.85
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
Начинаем программировать на Python. С примерами и заданиями
Nachinaem programmirovat' na Python. S primerami i zadaniiami , Das U., Louson O., Meifild K.Дас У., Лоусон О., Мэйфилд К.
Item: 1522073
$37.55
Shipped in 14-20 days
Искусство программирования. В 4 т (комплект из 4-х книг)
Iskusstvo programmirovaniia. V 4 t (komplekt iz 4-kh knig) , Knut D.E.Кнут Д.Э.
Item: 1514342
$962.73
Shipped in 14-20 days