Capa

Abstraction, Refinement and Proof for Probabilistic Systems

SPRINGER
11 / 2010
9781441923127
978-14-4192-312-7
Inglês
Monographs in Computer Science
Ingles