Cover Image

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Cousot, Radhia. (Editor), Martel, Matthieu. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6337
Subjects:
Computer science.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Computer Science.
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:View fulltext via EzAccess

Fulltext / Holdings URL

View fulltext via EzAccess

Similar Items