x 1.00
Скачать видео

Лекция 9. Алгоритмы вычисления значений формул

  1. 00:15Повторение
  2. 15:55Вычисление формул в протоколе PCTL
  3. 44:57Общие модели сложных устройств
  4. 55:06Описание формул в протоколе CTL
  5. 01:07:32Вычисление формул в протоколе CTL