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

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

Record details

  • ISBN: 9783642369469
  • Physical Description: electronic
    electronic resource
    access
    remote
    VIII, 515 p. 134 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Subject: Computer science
Software engineering
Operating systems (Computers)
Computer Science
Programming Techniques
Operating Systems
Software Engineering
Programming Languages, Compilers, Interpreters
History of Computing

Electronic resources



Additional Resources