booktheque

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled · 2016

איפה לקנות

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

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

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

פרטי הספר

שנה
2016
שפה
English
הוצאה
Springer
מהדורות
2
ISBN
9783319465203

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

עוד של Cyrille Artho