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)

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