Aliasing in Object-Oriented Programming. Types, Analysis and Verification

מידע ביבליוגרפי
מחברים אחרים: Clarke
פורמט: אלקטרוני ספר אלקטרוני
שפה:English
יצא לאור: Springer Berlin Heidelberg, 2013
מהדורה:1
נושאים:
גישה מקוונת:Full text available on Springer
Off-campus access