Catalog

Record Details

Catalog Search


Aliasing in Object-Oriented Programming. Types, Analysis and Verification Cover Image E-book E-book

Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad.

Clarke, Dave. (editor.). Noble, James. (editor.). Wrigstad, Tobias. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642369469
  • Physical Description: VIII, 515 p. 134 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

Search for related items by subject

Subject: Computer science.
Software engineering.
Operating systems (Computers).
Computer Science.
Programming Techniques.
Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
History of Computing.

Search for related items by series

Electronic resources

Texto completo


Additional Resources