Catalog

Record Details

Catalog Search


Back To Results
Showing Item 100 of 1174

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings  Cover Image E-book E-book

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Palsberg, Jens. (editor.). Su, Zhendong. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642032370
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Techniques.

Electronic resources


Back To Results
Showing Item 100 of 1174

Additional Resources