Formal MethodsAndré Platzer
Formal Methods
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi · 2024
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2024
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 650
- ISBN
- 9783031711619
מקור הנתונים: Wikidata
עוד של André Platzer
Logical Analysis of Hybrid SystemsAndré Platzer
Logical Analysis of Hybrid Systems
André Platzer · 2010
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