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