Verification, Model Checking, and Abstract InterpretationViktor Kuncak

Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak · 2012

איפה לקנות

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

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

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

פרטי הספר

שנה: 2012
שפה: English
סדרה: Lecture Notes in Computer Science -- 7148
הוצאה: Springer Berlin Heidelberg
מהדורות: 1
ISBN: 9783642279409

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

עוד של Viktor Kuncak

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science)Viktor Kuncak

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science)

Viktor Kuncak · 2012