Efficient Decision Procedures for Validation : Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking (2010. 116 S. 220 mm)
  • 洋書

Efficient Decision Procedures for Validation : Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking (2010. 116 S. 220 mm)  Paperback

Strichman, Ofer

  • ウェブストア価格 ¥12,122(本体¥11,020)
  • LAP LAMBERT ACADEMIC PUBLISHING(2010発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Decision Procedures : An Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs Series)
  • 洋書

Decision Procedures : An Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs Series)  Paperback,  言語:ENG

Kroening, Daniel/ Strichman, Ofer/ Bryant, R. E. (FRW)

  • ウェブストア価格 ¥12,995(本体¥11,814)
  • Springer(2010/11発売)
  • ポイント 118pt
  • 海外からお取り寄せ(通常6~9週間)
Decision Procedures : An Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs Series) (2ND)
  • 洋書

Decision Procedures : An Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs Series) (2ND)  Paperback

Kroening, Daniel/ Strichman, Ofer

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2018/07発売)
  • ポイント 104pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/11発売)
  • ポイント 104pt
  • オンデマンド(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,231(本体¥12,029)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 120pt
  • 海外取次在庫