Aliasing in Object-Oriented Programming : Types, Analysis, and Verification /

Contiene: La convención de Ginebra: Más allá de la Convención de Ginebra sobre el tratamiento de alias de objetos; La Convención de Ginebra sobre el tratamiento de alias de objetos. Propiedad: Tipos de propiedad: una encuesta; Nociones de solapamiento (aliasing) y propiedad; Entendimiento de los tip...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Clarke, Dave (edición)
Další autoři: Noble, James (edición) (edición), Wrigstad, Tobias (edición) (edición)
Médium: Kniha
Jazyk:angličtina
Vydáno: Heidelberg, Alemania : Springer, 2013, c2013
Edice:(Lecture Notes in Computer Science ; 7850)
Témata:
On-line přístup:Ver documento en línea
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Internet

Ver documento en línea
Informace o exemplářích z: IT2
Signatura:
005. 117 CLA
Ejemplar 433039-1
Disponible
Préstamo en línea
Sbírka:
Libros electrónicos en línea
Poznámky:
Consultar en línea