Capa

Abstraction, Refinement and Proof for Probabilistic Systems

SPRINGER
11 / 2004
9780387401157
978-03-8740-115-7
Inglês
Monographs in Computer Science
Ingles