検索結果 1 - 2 結果 / 2 検索語 '"Integrated circuits - Verification"', 処理時間: 0.03秒 結果の絞り込み
  1. 1
    Verification of systems and circuits using LOTOS,Petri Nets, and CCS
    著者: Yoeli, Michael
    出版事項 2008
    主題: “...Integrated circuits - Verification Computer software - Verification LOTOS (computer programmes...”
  2. 2
    Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
    著者: Yoeli, Michael
    出版事項 2008
    主題: “...Integrated circuits - Verification Computer software - Verification LOTOS (computer programmes...”
    Printed Book
検索ツール: RSSフィード — 検索結果をメール