1～2件／全2件 セーフサーチON
  •  
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering)
  • 洋書

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語：ENG

Strichman, Ofer (EDT)/ Tzoref-Brill, Rachel (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer International Publishing AG（2017/11発売）
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6175) （2010. XIII, 400 S.）
  • 洋書

Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6175) （2010. XIII, 400 S.）  Paperback

Herausgegeben von Strichman, Ofer/ Szeider, Stefan

  • ウェブストア価格 ¥13,920（本体¥12,655）
  • SPRINGER, BERLIN（2010発売）
  • ポイント 126pt
  • 海外取次在庫
1～2件／全2件
  •