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

Uloženo v:

Personen und Körperschaften:	Cousot, Radhia (Autor), Martel, Matthieu (Editor)
Název:	Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings/ edited by Radhia Cousot, Matthieu Martel
Formát:	E-kniha Konferenzbericht
Jazyk:	angličtina
vydáno v:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Série:	SpringerLink Lecture notes in computer science ; 6337
Předměty:	Logic design Computer simulation Computer Science Computer science Software engineering Computer programming. Compilers (Computer programs). Machine theory. Konferenzschrift > 2010 > Perpignan
Druckausg.:	Static analysis, Berlin : Springer, 2010, XI, 471 S.
Zdroj:	Verbunddaten SWB