Deductive Software Verification - the KeY Book : From Theory to Practice (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Deductive Software Verification - the KeY Book : From Theory to Practice (Lecture Notes in Computer Science)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥28,369(本体¥25,790)
  • Springer International Publishing AG(2016/12発売)
  • ポイント 1,285pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。