Logical Analysis of Hybrid Systems: Proving Theorems girro 2014年1月28日 12 阅读 0 评论 物理学 Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics Hardcover: 424 pages Publisher: Springer (September 5, 2010) Language: English ISBN-10: 3642145086 代发服务PDF电子书10元立即求助