Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 26 maart 2013
Indien omslag en titel niet overeenkomen, is de titel correct

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

David Clarke

Prijs
Mex$ 1.148,86

Besteld in een afgelegen magazijn

Verwachte levering 25 jul. - 4 aug.
Voeg toe aan uw iMusic-verlanglijst
Eller

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 26 maart 2013
ISBN13 9783642369452
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 523
Afmetingen 156 × 234 × 26 mm   ·   725 g
Taal en grammatica Duits  
Uitgever Clarke, David
Uitgever Noble, James
Uitgever Wrigstad, Tobias

Alles tonen

Meer door David Clarke