Model Checking: Верификация параллельных и распределенных программных систем
Тема в разделе "Разработка ПО", создана пользователем LLIypyn, 30 сен 2013.
- Смотрите также
-
- Ответов:
- 0
- Просмотров:
- 434
-
- Ответов:
- 0
- Просмотров:
- 1.007
-
- Ответов:
- 2
- Просмотров:
- 1.039
-
- Ответов:
- 0
- Просмотров:
- 608
-
- Ответов:
- 1
- Просмотров:
- 599
Загрузка...