关注微信公众号查券更方便
[预订]Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784089
【3-4周达】Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (1st ed. 2022) ... [9783030784089]
![[预订]Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784089](/Public/skin2/static/tqkpc/images/grey.gif)