booktheque

Automated Technology for Verification and Analysis

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura · 2007

איפה לקנות

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

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

זה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

פרטי הספר

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

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