Annabelle McIver, Charles Carroll Morgan
Annabelle McIver, Charles Carroll Morgan(1)
2005(1)
Informatik(1)
eBook(1)
English(1)
Springer-Verlag(1)
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 132.90     Download