検索結果 1 - 2 結果 / 2 検索語 'Diaz, Michel', 処理時間: 0.01秒 結果の絞り込み
  1. 1
    Protocol specification, testing and verification
    著者: Diaz, Michel
    出版事項 1986
    Printed Book
  2. 2
    Petri nets : fundamental models, verification and applications /
    出版事項 2009
    その他の著者: “...Diaz, Michel...”
    Table of contents only
    Contributor biographical information
    Publisher description
    Printed Book
検索ツール: RSSフィード — 検索結果をメール