![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](https://imusic.b-cdn.net/images/item/original/452/9783642369452.jpg?david-clarke-2013-aliasing-in-object-oriented-programming-types-analysis-and-verification-lecture-notes-in-computer-science-programming-and-software-engineering-paperback-book&class=scaled&v=1520232279)
Powiedz znajomym o tym przedmiocie:
Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering
David Clarke
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 | 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 i CD )