Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 26 de marzo de 2013
En caso de que portada y título no coincidan, el título será el correcto

Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 6 - 12 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages and visions.


523 pages, 134 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de marzo de 2013
ISBN13 9783642369452
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 523
Dimensiones 156 × 234 × 26 mm   ·   725 g
Lengua Alemán  
Editor Clarke, David
Editor Noble, James
Editor Wrigstad, Tobias

Mas por David Clarke

Mostrar todo