关注微信公众号查券更方便
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
【4周达】Concise Guide to Software Verification: From Model Checking to Annotation Checking [9783031301667]
![[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667](/Public/skin2/static/tqkpc/images/grey.gif)