booktheque

Automated Technology for Verification and Analysis

Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza · 2019

איפה לקנות

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

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

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

פרטי הספר

שנה
2019
הוצאה
Springer
מהדורות
1
עמודים
563
ISBN
9783030317836

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