Logics and analyses for concurrent heap-manipulating programsAlexey Gotsman
Logics and analyses for concurrent heap-manipulating programs
Alexey Gotsman · 2009
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2009
- שפה
- English
- סדרה
- BCS/CPHC distinguished dissertation award series
- הוצאה
- [British Computer Society]
- מהדורות
- 1
- עמודים
- 162
- ISBN
- 9781906124830
מקור הנתונים: Wikidata