1-1 1
1-1 1
Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems
: Annabelle McIver, Charles Carroll Morgan   
: 9780387270067   
: Springer-Verlag   
: eBook   

: Wasserzeichen   
: PC/MAC/eReader/Tablet   
PDF   
CHF 133.00     Download