Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 26 mars 2013
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 6 - 12 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

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édias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 26 mars 2013
ISBN13 9783642369452
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 523
Dimensions 156 × 234 × 26 mm   ·   725 g
Langue et grammaire Allemand  
Éditeur Clarke, David
Éditeur Noble, James
Éditeur Wrigstad, Tobias

Plus par David Clarke

Afficher tout