
Fortell venner om denne varen:
Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering
David Clarke
Pris
Fr. 44,99
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
David Clarke
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
Se alt med David Clarke ( f.eks. Pocketbok , Innbunden bok , Bok , CD og 12" )