Reihe Monographs in Computer ScienceAnnabelle McIver × 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 €
