Showing 1 - 1 results of 1 for search 'Kol, Rakefet', זמן שאילתה: 0.01s Refine Results
  1. 1

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS מאת Yoeli, Michael 1917-

    יצא לאור 2008
    ספר

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

כלי חיפוש: