Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 26. marec 2013
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 9. - 14. apr
Dodaj na svoj seznam želja 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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 26. marec 2013
ISBN13 9783642369452
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 523
Dimenzije 156 × 234 × 26 mm   ·   725 g
Jezik Nemščina  
Urednik Clarke, David
Urednik Noble, James
Urednik Wrigstad, Tobias

Več od David Clarke

Prikaži vse

Ogled vseh David Clarke ( Na primer Paperback Book , Hardcover Book , Book , CD in LP )