Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Elemento
Título (dcterms:title)
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Autores (dcterms:creator)
Clarke
Año Publicación (dcterms:date)
2013
Editorial (dcterms:publisher)
Springer Berlin Heidelberg
ISBN (bibo:isbn)
978-3-642-36945-2
eBook (bibo:isbn13)
978-3-642-36946-9
PDF (bibo:uri)
Colecciones
Position: 2773 (1 views)