Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

出版社: Springer(2010-09-05)

ハードカバー: 456 ページ / 15.5 x 3.0 x 23.4 cm

ISBN-10: 3642145086  ISBN-13: 9783642145087