The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

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

  • ウェブストア価格 ¥22,609(本体¥20,554)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 1,025pt
  • 海外取次在庫
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)  Paperback

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

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 510pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。