booktheque

Verified Software : Theories, Tools, Experiments

Natarajan Shankar, Jim Woodcock · 2008

איפה לקנות

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

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

פרטי הספר

שנה
2008
שפה
English
הוצאה
Springer London, Limited
מהדורות
1
ISBN
9783540878735

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

עוד של Natarajan Shankar

Automated Formal Methods
Natarajan Shankar · 2017