Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1 21.07.2023 19:42 Natasha_Klaus 3 Функциональное программирование Криптовалюты Cryptocurrencies Functional Programming
Mirantis Unlocked validation program. Часть 2: Hard and Soft +9 11.08.2016 07:03 Mirantis_OpenStack 0 Open source Блог компании Mirantis/OpenStack
Валидация Fuel-плагинов в рамках Mirantis Unlocked validation program. Оно вам надо? +5 17.06.2016 08:58 Mirantis_OpenStack 0 Open source Блог компании Mirantis/OpenStack
Открытый код и интеллектуальная собственность +5 04.12.2015 09:50 Mirantis_OpenStack 0 Open source Блог компании Mirantis/OpenStack
Как сделать fuel-плагин (на примере NFS). Часть 2 +6 06.10.2015 17:23 Mirantis_OpenStack 0 Open source Mirantis/OpenStack corporate blog
Как сделать fuel-плагин (на примере NFS). Часть 1 +2 13.08.2015 20:04 Mirantis_OpenStack 0 Open source Блог компании Mirantis/OpenStack
Да пребудет с вами слов сила +6 27.04.2015 13:51 Mirantis_OpenStack 2 Open source Блог компании Mirantis/OpenStack