Proceedings of the 5th ACM Workshop on Programming Languages Meets Program VerificationRanjit Jhala

Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification

Name: Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification
ISBN: 9781450304870

איפה לקנות

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

פרטי הספר

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