Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
| ISBN: | 9783642046933 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 203 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bensalem, Saddek Peled, Doron A. |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 23.09.2009 |
| Untertitel: | 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers |
| Schlagworte: | C programming language algorithm analysis aspect-oriented languages certification debugging diagnosis dynamic program analysis programming runtime security |
Anmelden