booktheque

The Correctness-by-Construction Approach to Programming

Derrick G. Kourie, Bruce W. Watson · 2012

איפה לקנות

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

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

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

פרטי הספר

שנה
2012
הוצאה
Springer
מהדורות
2
עמודים
280
ISBN
9783642279201

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