Abstraction Refinement and Proof for Probabilistic Systems

*Abstraction Refinement and Proof for Probabilistic Systems * / pdf eBook für 149.99€ / Aus dem Bereich: eBooks-Sachthemen & Ratgeber-Computer & Internet pdf eBook

Hugendubel