Morgan, Charles Carroll

Vis mig kun

Theoretical Aspects of Computing - ICTAC 2009

Theoretical Aspects of Computing - ICTAC 2009

Morgan, Charles Carroll

436,85 DKK

Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Morgan, Charles Carroll

1240,73 DKK