Arama Sonuçları
Önerilen Konular
Önerilen Konular
- конечные системы
- Кибернетика техническая 1
- Маркова цепи 1
- Нейронные сети 1
- абстракция 1
- адаптивные системы 1
- аксиоматика 1
- верификация 1
- возбудимость 1
- возбуждение 1
- вычислительная математика 1
- группировки 1
- диаграммы 1
- дискретное время 1
- диссипативные системы 1
- дыхательный центр 1
- задачи 1
- квазипорядки 1
- количественный анализ 1
- комбинаторные методы 1
- локально-однородные цепи 1
- моделирование 1
- непрерывное реальное время 1
- параллельные системы 1
- поисковое конструирование 1
- разделение 1
- редукция 1
- сеть-газ 1
- сигналы 1
- симметрия 1
-
1
-
2
-
3
Верификация моделей программ: Model Checking пер. с англ.
Baskı/Yayın Bilgisi Москва, МЦНМО, 2002Kitap