![]() |
||||
Средства и методы разработки |
Новая тема Правила Регистрация | Поиск »» Архив |
•Вернуться в конференцию •Топик полностью |
fk0 (26.05.2018 03:05) , в ответ на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!! автор: Evgeny_CD
Cobra интересна, но денег стоит. Можно сразу забыть. [ZX] |
![]() |
Главная |
Карта сайта |
О проекте |
Проекты |
Файлообменник |
Регистрация |
Вебмастер |
RSS
Лето 7527 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXIX |