Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Robert L. Constable, Alexandra Silva (edición)
פורמט: ספר
שפה:אנגלית
יצא לאור: Berlín, Alemania : Springer, 2012, c2012
סדרה:(Lecture Notes in Computer Science)
גישה מקוונת:Ver documento en línea
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!