booktheque

Automated Technology for Verification and Analysis

Deepak D'Souza, K. Narayan Kumar · 2017

איפה לקנות

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

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

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

פרטי הספר

שנה
2017
הוצאה
Springer
מהדורות
1
עמודים
501
ISBN
9783319681665

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

עוד של Deepak D'Souza