Everand Logo

Bienvenue sur Everand!

  • Livres écrits par by Rakefet Kol

    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    0% sur Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS terminé
    Livre électronique
    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    Michael Yoeli