Catalog

Record Details

Catalog Search


Search Results Showing Item 4 of 4

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Electronic resources

Record details

  • ISBN: 9783540740612
  • Physical Description: electronic
    electronic resource
    access
    remote
    XI, 469 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
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
Search Results Showing Item 4 of 4

Additional Resources