Portada

Abstraction, Refinement and Proof for Probabilistic Systems

SPRINGER
11 / 2004
9780387401157
Inglés
Monographs in Computer Science
Ingles
PVP
155,99