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: 569 NOK
Availability: OutOfStock
Author: David Clarke

Pris

NOK 569

Bestillingsvarer

Forventes levert 14. - 22. jan 2026

Kundene våre sier:

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

14 dages returrett

Toppvurdering på Trustpilot

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