Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Saddek Bensalem
Themen in »Runtime Verification«
C programming language algorithm analysis aspect-oriented languages certification debugging diagnosis dynamic program analysis programming runtime security specification languages tracing verification
Stimmen zu »Runtime Verification«
Details
ISBN: 9783642046940
Verlag: Springer Berlin
Erscheinung: 29.09.2009