Aliasing in Object-Oriented Programming. Types, Analysis and Verification
- Författare
- Dave. Clarke
- (Edited by Dave Clarke, James Noble, Tobias Wrigstad.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2013 | Tyskland, Berlin, Heidelberg | VIII, 515 sidor. 134 illus. digital. | 978-3-642-36946-9 |