Abstraction, Refinement and Proof for Probabilistic Systems(Hardcover) Monographs in Computer Science by Charles Carroll Morgan , Annabelle McIver

৳ 1,699