検索結果 1 - 4 結果 / 4 検索語 'Manna, Zohar', 処理時間: 0.01秒 結果の絞り込み
  1. 1
    Mathematical theory of computation/
    著者: Manna, Zohar
    出版事項 1974
    Printed Book
  2. 2
    The Temporal logic of reactive and concurrent systems
    著者: Manna, Zohar, Pnueli, Amir
    出版事項 1992
    Printed Book
  3. 3
    The calculus of computation: decision procedures with appliciations to verification/
    著者: Bradley, Aron R
    出版事項 2007
    その他の著者: “...Manna Zohar...”
    Printed Book
  4. 4
    Calculus of computation Decision procedures with applications to verification /
    著者: Bradley, Aaron R.
    出版事項 2007
    その他の著者: “...Manna , Zohar...”
検索ツール: RSSフィード — 検索結果をメール