Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems 著者: Annabelle McIver; Charles Carroll Morgan 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Abstraction, Refinement and Proof for Probabilistic Systems : 9780387270067, 038727006X および 印刷版のISBNは 9780387401157, 0387401156. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Abstraction, Refinement and Proof for Probabilistic Systems 著者: Annabelle McIver; Charles Carroll Morgan 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Abstraction, Refinement and Proof for Probabilistic Systems : 9780387270067, 038727006X および 印刷版のISBNは 9780387401157, 0387401156. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。