Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 26. mars 2013
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

David Clarke

Pris
₪ 189

Bestillingsvarer

Forventes levert 23. - 31. jul
Legg til iMusic ønskeliste
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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 26. mars 2013
ISBN13 9783642369452
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 523
Mål 156 × 234 × 26 mm   ·   725 g
Språk Tysk  
Redaktør Clarke, David
Redaktør Noble, James
Redaktør Wrigstad, Tobias

Vis alle

Mer med David Clarke