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

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

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

12+

6 просмотров

Пожаловаться Нарушение авторских прав

12+

6 просмотров

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

, чтобы оставлять комментарии