Reihe Monographs in Computer ScienceAnnabelle McIver ×Springer US × Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIverSpringer USSoftcover2010160,49 € Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIverSpringer USSoftcover2010160,49 € Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIverSpringer USeBook2005149,79 € Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIverSpringer USeBook2005149,79 € Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIverSpringer USHardcover2004160,49 € Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIverSpringer USHardcover2004160,49 €
