Static Analysis
| ISBN: | 9783540403258 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 510 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Cousot, Radhia |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 28.05.2003 |
| Untertitel: | 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings |
| Schlagworte: | Factor Interrupt Management complexity data structure data structures logic model checking program analysis program manipulation |