The Foundations of Program VerificationJacques Loeckx
The Foundations of Program Verification
Jacques Loeckx, Kurt Sieber, Ryan Stansifer · 1987
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1987
- שפה
- German
- סדרה
- Series in Computer Science
- הוצאה
- Vieweg+Teubner Verlag
- מהדורות
- 1
- ISBN
- 9783322967534
מקור הנתונים: Wikidata
