ペトリネットとオートマトン<br>Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach (Studies in Computational Intelligence)
  • 洋書
  • ポイントキャンペーン

ペトリネットとオートマトン
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach (Studies in Computational Intelligence)
 Hardcover,  言語:ENG

Penczek, Wojciech/ Polrola, Agata

  • ウェブストア価格 ¥36,380(本体¥33,073)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 660pt
  • 海外取次在庫
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach (Studies in Computational Intelligence)
  • 洋書
  • ポイントキャンペーン

Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach (Studies in Computational Intelligence)  Paperback,  言語:ENG

Penczek, Wojciech/ Polrola, Agata

  • ウェブストア価格 ¥36,168(本体¥32,880)
  • Springer(2010/11発売)
  • ポイント 656pt
  • 海外取次在庫