Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 26 de março de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

David Clarke

Preço
₺ 2.254
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 - 29 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

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

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de março de 2013
ISBN13 9783642369452
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 523
Dimensões 156 × 234 × 26 mm   ·   725 g
Idioma German  
Editor Clarke, David
Editor Noble, James
Editor Wrigstad, Tobias
Mostrar tudo

Mais por David Clarke

Ver tudo de David Clarke ( por exemplo Paperback Book , Hardcover Book , Book , CD e 12" )