Результати пошуку

  • Показ 1 - 2 результатів із 2
Уточнити результати
  1. 1

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS за авторством Yoeli, Michael, 1917-

    Опубліковано 2008
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс eКнига
  2. 2

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS за авторством Yoeli, Michael, 1917-

    Опубліковано 2008
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс eКнига