1～2件／全2件 セーフサーチON
  •  
The Logic of Software. A Tasting Menu of Formal Methods〈1st ed. 2022〉 : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
  • 洋書電子書籍
  • 電子書籍

The Logic of Software. A Tasting Menu of Formal Methods〈1st ed. 2022〉 : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday  言語：ENG

Ahrendt, Wolfgang (EDT)/Beckert, Bernhard (EDT)/Bubel, Richard (EDT)/Johnsen, Einar Broch (EDT)

  • 価格 ¥18,213（本体¥16,558）
  • Springer（2022/07/04発売）
  • ポイント 165pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
Deductive Software Verification: Future Perspectives〈1st ed. 2020〉 : Reflections on the Occasion of 20 Years of KeY
  • 洋書電子書籍
  • 電子書籍

Deductive Software Verification: Future Perspectives〈1st ed. 2020〉 : Reflections on the Occasion of 20 Years of KeY  言語：ENG

Ahrendt, Wolfgang (EDT)/Beckert, Bernhard (EDT)/Bubel, Richard (EDT)/Hähnle, Reiner (EDT)/Ulbrich, Mattias (EDT)

  • 価格 ¥10,117（本体¥9,198）
  • Springer（2020/12/08発売）
  • ポイント 91pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
1～2件／全2件
  •