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

Name: Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering
Price: 549 SEK
Availability: OutOfStock
Author: David Clarke

Pris

SEK 549

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026

Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

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öcker Pocketbok (Bok med mjukt omslag och limmad rygg)
Releasedatum	26 mars 2013
ISBN13	9783642369452
Utgivare	Springer-Verlag Berlin and Heidelberg Gm
Antal sidor	523
Mått	156 × 234 × 26 mm · 725 g
Språk	Tyska
Redaktör	Clarke, David
Redaktör	Noble, James
Redaktör	Wrigstad, Tobias