1～3件／全3件 セーフサーチON
  •  
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Piterman, Nir (EDT)

  • ウェブストア価格 ¥11,922（本体¥10,839）
  • Springer International Publishing AG（2015/10発売）
  • ポイント 540pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings （2013）
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings （2013）  Paperback,  言語：ENG

Piterman, Nir (EDT)/ Smolka, Scott (EDT)

  • ウェブストア価格 ¥11,922（本体¥10,839）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/02発売）
  • ポイント 540pt
  • 海外取次在庫
Extending Temporal Logic with Omega-automata : The Automata Theoretic Techniques behind PSL Model Checking （2010. 88 S.）
  • 洋書
  • ポイントキャンペーン

Extending Temporal Logic with Omega-automata : The Automata Theoretic Techniques behind PSL Model Checking （2010. 88 S.）  Paperback

Piterman, Nir

  • ウェブストア価格 ¥12,822（本体¥11,657）
  • LAP LAMBERT ACADEMIC PUBLISHING（2010発売）
  • ポイント 580pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •