© 1999-2048 dssz.net 粤ICP备11031372号
[其它] Logical Foundations of Cyber-Physical Systems
说明:Logical Foundations of Cyber-Physical Systems, André Platzer, 2018Andre platzer Logical Foundations of Cyber-Physical Systems Springer Andre platzer Computer Science department Carnegie mellon university Pittsburgh, Pennsylvania, USA The content of<weixin_38290023> 在 上传 | 大小:10485760