Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 26. März 2013
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

David Clarke

Preis
SEK 579

Bestellware

Lieferdatum: ca. 25. Jul - 4. Aug

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 26. März 2013
ISBN13 9783642369452
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 523
Maße 156 × 234 × 26 mm   ·   725 g
Sprache Deutsch  
Redakteur Clarke, David
Redakteur Noble, James
Redakteur Wrigstad, Tobias
Alle anzeigen

Weitere Titel von David Clarke

Alle Titel von David Clarke ansehen ( u. a. Taschenbuch , Gebundenes Buch , Buch , CD und 12" )