Portada

Abstraction, Refinement and Proof for Probabilistic Systems

SPRINGER
11 / 2010
9781441923127
Inglés
Monographs in Computer Science
Ingles
PVP
155,99