André Platzer
André Platzer
4 ספרים במאגר
ספרים
Logical Analysis of Hybrid SystemsAndré Platzer
Logical Analysis of Hybrid Systems
André Platzer · 2010
Formal MethodsAndré Platzer
Formal Methods
André Platzer · 2024
Automated Deduction - CADE 28André Platzer
Automated Deduction - CADE 28
André Platzer · 2021
Logical Foundations of Cyber-Physical SystemsAndré Platzer
Logical Foundations of Cyber-Physical Systems
André Platzer · 2018
ספרים משותפים ואוספים
ספרים שבהם André Platzer מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
