Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /

Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /

Bibliographic Details
Main Author: Cousot, Patrick
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Logic design
Software engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Online Access:http://dx.doi.org/10.1007/3-540-47764-0
Перейти в каталог НБ ТГУ
Description
ISBN:9783540477648
ISSN:0302-9743 ;

Similar Items