booktheque

Automated Formal Methods

Natarajan Shankar · 2017

איפה לקנות

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

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

פרטי הספר

שנה
2017
שפה
English
הוצאה
Association for Computing Machinery
מהדורות
1
ISBN
9781450353304

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

עוד של Natarajan Shankar