booktheque

Verified Software. Theories, Tools and Experiments

Andrew Reynolds, Serdar Tasiran · 2024

איפה לקנות

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

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

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

פרטי הספר

שנה
2024
שפה
English
הוצאה
Springer
מהדורות
1
ISBN
9783031660634

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

עוד של Andrew Reynolds