1～2件／全2件 セーフサーチON
  •  
Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6709) （2011. XII, 349 S. 235 mm）
  • 洋書

Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6709) （2011. XII, 349 S. 235 mm）  Paperback

Herausgegeben von Kristensen, Lars M./ Petrucci, Laure

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 120pt
  • 海外取次在庫
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,  Paperback

Petrucci, Laure (EDT)/ Seceleanu, Cristina (EDT)/ Cavalcanti, Ana (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2017/08発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～2件／全2件
  •