Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 1

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Miné, Antoine. (editor.). Schmidt, David. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642331251
  • Physical Description: electronic
    electronic resource
    access
    remote
    XI, 457 p. 153 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
Subject: Computer science
Software engineering
Logic design
Computer Science
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Search Results Showing Item 1 of 1

Additional Resources