Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - 26 marca 2013
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

David Clarke

Cena
zł 264,90

Zamówione z odległego magazynu

Przewidywana dostawa 24 - 30 kwi

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 26 marca 2013
ISBN13 9783642369452
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 523
Wymiary 156 × 234 × 26 mm   ·   725 g
Język German  
Redaktor Clarke, David
Redaktor Noble, James
Redaktor Wrigstad, Tobias
Pokaż wszystko

Więcej od David Clarke

Zobacz wszystko od David Clarke ( np. Paperback Book , Hardcover Book , Book , CD i 12" )