booktheque

Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications

Chuchu Fan · 2024

איפה לקנות

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

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

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

פרטי הספר

שנה
2024
שפה
English
הוצאה
Wiley & Sons, Limited, John
מהדורות
2
עמודים
184
ISBN
9798400708633

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

עוד של Chuchu Fan