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...

Fuld beskrivelse

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Clarke, Dave (edición)
Andre forfattere: Noble, James (edición) (edición), Wrigstad, Tobias (edición) (edición)
Format: Bog
Sprog:engelsk
Udgivet: Heidelberg, Alemania : Springer, 2013, c2013
Serier:(Lecture Notes in Computer Science ; 7850)
Fag:
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Internet

Ver documento en línea
Detaljer om beholdninger fra IT2
Klassifikationsnummer:
005. 117 CLA
Ejemplar 433039-1
Disponible
Préstamo en línea
Colección:
Libros electrónicos en línea
Kommentarer:
Consultar en línea