booktheque

Rigorous methods for software construction and analysis

Jean-Raymond Abrial, Uwe Glässer · 2009

איפה לקנות

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

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

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

פרטי הספר

שנה
2009
שפה
English
סדרה
Lecture notes in computer science -- 5115
הוצאה
Springer
מהדורות
3
עמודים
233
ISBN
9783642114465

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

עוד של Jean-Raymond Abrial