说明: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> 上传 | 大小:10mb