Everand Logo

Добро пожаловать в Everand!

  • Книги этого автора by Rakefet Kol

    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    «Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS» завершено на 0%
    Электронная книга
    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    Michael Yoeli