Grid  List

  1. Abstraction, Refinement and Proof for Probabilistic Systems
    Ebook
    Sofort lieferbar

    P This book integrates coverage of random probabilistic algorithms, assertion-based program reas...

    149,79 € Ebook
    Alle Preise inkl. MwSt
  1. 1