Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 8445
    ISBN: 9780387270067
    UPC: 10.1007/b138392
    Title: Abstraction, Refinement and Proof for Probabilistic Systems
    Author: McIver, Annabelle.
    Publication Info:
    Item Type: Language material

Additional Resources