1
Wydane 2013
Spis treści: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2014
Spis treści: ...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...
Dokumenty pełnotekstowe
Elektroniczne E-book