検索結果 1 - 2 結果 / 2 検索語 '"Temporal Logic"', 処理時間: 0.02秒 結果の絞り込み
  1. 1
    Specification of software systems
    著者: Alagar, V S
    出版事項 2011
    主題: “...Temporal Logic...”
    Printed Book
  2. 2
    Temporal information processing technology and its applications
    著者: Tang, Yong
    出版事項 2010
    主題: “...Temporal logic method...”
    Printed Book
検索ツール: RSSフィード — 検索結果をメール