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

Zapisane w:

Personen und Körperschaften:	Cousot, Radhia (Autor), Martel, Matthieu (Redaktor)
Tytuł:	Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings/ edited by Radhia Cousot, Matthieu Martel
Format:	E-book Konferenzbericht
Język:	Englisch
Wydane:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 6337
Hasła przedmiotowe:	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.
Źródło:	Verbunddaten SWB