Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Available
0
StarStarStarStarStar
0Reviews
Morgan, Charles CarrollMorgan, Charles Carroll, McIver, Annabelle
E-book
pdf
Price
129.50 £
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9780387270067
  • Publication Date: 27 Oct 2005
  • Publisher: Springer New York
  • Product language: English
  • Drm Setting: DRM