【 Andre Platzer 】の作品Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics製作者 Andre Platzer販売元 Springer発売日 販売日未定