Prof. Andre Platzer Computer Science Carnegie Mellon U

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics978-3-642-145O8-7
(3-642-145O8-6)
2010

A.C. · A. P. · Andre C · André Platzer · P. A. · P. Andre · P. C. · P.P.

Prof. Andre Sharon