SPARK 2014 облегчает проверку безопасности программы формальными методами

Name: SPARK 2014 облегчает проверку безопасности программы формальными методами
Uploaded: 2022-08-29T12:17:23+03:00
Duration: 22 min 55 s
Channel: Сергей Киркоров
Description: SPARK 2014 облегчает проверку-доказательство безопасности программы формальными методами

12+

6 просмотров

4 года назад

SPARK 2014 облегчает проверку-доказательство безопасности программы формальными методами

Название:

SPARK 2014 облегчает проверку безопасности программы формальными методами

Категория: