Static analysis [Electronic resource] : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings / eds. R. Cousot, M. Martel. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6337). - ISBN 978-3-642-15769-1 : Б. ц. Рубрики: Computer science    Software engineering    Logic design    Computer simulation    Computer science    Software engineering    Logics and meanings of programs    Programming languages, compilers, interpreters    Mathematical logic and formal languages    Programming techniques    Simulation and modeling См. : Текст издания Доп.точки доступа: Cousot, R. \ed.\; SpringerLink (Online service) Свободных экз. нет