...

четверг, 29 сентября 2016 г.

Позволит ли формальная верификация кода микроядра создавать сверхнадежные ОС

на
Ярлыки: ,

Комментариев нет:

Отправить комментарий

Подписаться на: Комментарии к сообщению (Atom)