Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Springerbriefs in Applied Sciences and Technology)
  • 洋書
  • ポイントキャンペーン

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (Springerbriefs in Applied Sciences and Technology)  Paperback

Ahmed, Asad/ Hasan, Osman/ Awwad, Falah

  • ウェブストア価格 ¥15,274(本体¥13,886)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 690pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。