Aliasing in Object-Oriented Programming: Types, Analysis, and Verification

Aliasing in Object-Oriented Programming: Types, Analysis, and Verification

Momentaneamente non ordinabile

Dettagli Libro

  • Titolo: Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
  • Autore:
  • Curatore: Clarke, David; Noble, James; Wrigstad, Tobias
  • Traduttore:
  • Illustratore:
  • Editore: Springer-Verlag New York Inc
  • Collana:
  • Data di Pubblicazione: 2013
  • Pagine: 513
  • Formato:
  • ISBN: 9783642369452
  • Non catalogati - Non catalogati

Libri che ti potrebbero interessare