Povej prijatelju o tem izdelku:
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
| 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 vseOgled vseh David Clarke ( Na primer Paperback Book , Hardcover Book , Book , CD in LP )