Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 26. marts 2013
Ved uoverensstemmelse mellem cover og titel gælder titel

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

David Clarke

Pris
S$ 88,75

Bestilles fra fjernlager

Forventes klar til forsendelse 8. - 14. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 26. marts 2013
ISBN13 9783642369452
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 523
Mål 156 × 234 × 26 mm   ·   725 g
Sprog Tysk  
Klipper/redaktør Clarke, David
Klipper/redaktør Noble, James
Klipper/redaktør Wrigstad, Tobias
Vis alle

Mere med David Clarke

Se alt med David Clarke ( f.eks. Paperback Bog , Hardcover bog , Bog , CD og 12" )