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 (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Electronic Voting〈1st ed. 2020〉 : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings
  • 洋書電子書籍
  • 電子書籍

Electronic Voting〈1st ed. 2020〉 : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings  言語:ENG

Krimmer, Robert (EDT)/Volkamer, Melanie (EDT)/Beckert, Bernhard (EDT)/Küsters, Ralf (EDT)/Kulyk, Oksana (EDT)/Duenas-Cid, David (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2020/09/24発売)
  • ポイント 91pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
  • 洋書電子書籍
  • 電子書籍

Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings  言語:ENG

Krimmer, Robert (EDT)/Volkamer, Melanie (EDT)/Cortier, Veronique (EDT)/Beckert, Bernhard (EDT)/Küsters, Ralf (EDT)/Serdült, Uwe (EDT)

  • 価格 ¥11,534(本体¥10,486)
  • Springer(2019/09/24発売)
  • ポイント 104pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)