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

Opis bibliograficzny
Kolejni autorzy: Clarke
Format: Elektroniczne E-book
Język:English
Wydane: Springer Berlin Heidelberg, 2013
Wydanie:1
Hasła przedmiotowe:
Dostęp online:Full text available on Springer
Off-campus access