Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - tiistai 26. maaliskuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

David Clarke

Hinta
Fr. 49,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 23. - 31. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 26. maaliskuuta 2013
ISBN13 9783642369452
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 523
Mitta 156 × 234 × 26 mm   ·   725 g
Kieli German  
Toimittaja Clarke, David
Toimittaja Noble, James
Toimittaja Wrigstad, Tobias
Näytä kaikki

Lisää tuotteita David Clarke

Katso kaikki joka sisältää David Clarke ( Esim. Paperback Book , Hardcover Book , Book , CD Ja 12" )