Suchergebnisse für "Radhia Cousot"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Radhia Cousot" gefunden.
Katalogsuche
Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19,2005, Proceedings, Lecture Notes in Computer Science 3385 - Theoretical Computer Science and General Issues
Radhia Cousot
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26,1996.Proceedings, Lecture Notes in Computer Science 1145
Radhia Cousot/David A Schmidt
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16,2010, Proceedings, Lecture Notes in Computer Science 6337 - Programming and Software Engineering
Radhia Cousot/Matthieu Martel
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
