关注微信公众号查券更方便
【4周达】Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics [9783642145087]