Введение в формальные методы верификации программ. 2-е изд., испр - Камкин А. - Vvedenie v formal'nye metody verifikatsii programm. 2-e izd., ispr - Kamkin A.

1-718-787-0664 |

Basket
Home | About us | F.A.Q. | Contact us | Order Status

Russian keyboard
Advanced search

Books

Периодика

Букинистическая литература

Книги на украинском языке

Tamizdat

Программирование и компьютеры

Психология и экономика

Публицистика, мемуары, биографии

Религия и эзотерика

Учебная и научная литература

Филология

Философия

Хобби и досуг

Художественная литература

Каталог

Книги

Программирование и компьютеры

Языки программирования

Введение в формальные методы верификации программ. 2-е изд., испр - Камкин А.

Vvedenie v formal'nye metody verifikatsii programm. 2-e izd., ispr

Камкин А. (Kamkin A.)

Type : Books

SKU: VV1492463
ISBN: 9785937003409

Pages: 0
Format: -
Cover: -
Year: 2024
Publisher: ДМК Пресс (DMK Press)

Your Price: $59.69

will be shipped in 14-20 days (отправляется через 14-20 дня)

Print this page

E-mail to a friend

Ask question

Байесовская оптимизация с примерами из библиотек Python

Baiesovskaia optimizatsiia s primerami iz bibliotek Python

Нгуен К.

Your Price: $56.02

shipped in 14-20 days

SEO - искусство раскрутки сайтов. 4-е изд.

SEO - iskusstvo raskrutki saitov. 4-e izd.

Энж Э.

Your Price: $79.84

shipped in 14-20 days

React 19. Разработка веб-приложений на JavaScript

React 19. Razrabotka veb-prilozhenii na JavaScript

Дронов В.А.

Your Price: $56.02

shipped in 14-20 days

C# глазами хакера. 2-е изд

C# glazami khakera. 2-e izd

Фленов Михаил

Your Price: $39.81

shipped in 14-20 days

Машинное обучение с малым объемом кодирования

Mashinnoe obuchenie s malym ob'emom kodirovaniia

Стриплинг Г.

Your Price: $52.64

shipped in 14-20 days

Искусственный интеллект для периферийных устройств

Iskusstvennyi intellekt dlia periferiinykh ustroistv

Ситунаяке Д.

Your Price: $87.62

shipped in 14-20 days

Хорошо ли вы знаете Rust?

Khorosho li vy znaete Rust?

Волверсон Г.

Your Price: $38.18

shipped in 14-20 days

Swift. Самое полное руководство по разработке в примерах от сообщества Stack Overflow

Swift. Samoe polnoe rukovodstvo po razrabotke v primerakh ot soobshchestva Stack Overflow

Your Price: $42.62

shipped in 14-20 days

Spring и Spring Boot. Разработка облачных приложений на Java

Spring i Spring Boot. Razrabotka oblachnykh prilozhenii na Java

Урванов Ф.В.

Your Price: $56.53

shipped in 14-20 days