Logical Analysis of Hybrid SystemsAndré Platzer

Logical Analysis of Hybrid Systems

André Platzer · 2010

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2010
שפה: English
הוצאה: Springer
מהדורות: 3
ISBN: 9783642145094

מקור הנתונים: Wikidata

עוד של André Platzer

Formal MethodsAndré Platzer

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