The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

Публикации
Публикации отсутствуют

Сообщения (1)
10.06.2020 20:58Микроядро seL4 математически верифицировано для архитектуры ... (1)  Обсуждение новостей
Информация об авторе
Участник:Аноним из предыдущего ответа.
Тип:Аноним
Активность: 10 июн 2020 - 10 июн 2020
Рейтинг:6 баллов (+6/-0)
Репутация:+1/-0 голосов

Личный кабинет
Редактирование профиля
Лог модерирования
Закладки
Отслеживание обсуждений и участников
-

Действия
Отслеживать сообщения участника "Аноним из предыдущего ответа."
Скрывать сообщения участника "Аноним из предыдущего ответа."



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру