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

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

на

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

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