Grid  List

  1. Formal Methods for Safe Autonomy
    0 %
    Ebook
    Sofort lieferbar

    This book introduces new verification and synthesis algorithms to provide certifiable trusts for ...

    Unser bisheriger Preis:ORGPRICE: 40,99 €

    Jetzt 40,98 €Ebook
    Alle Preise inkl. MwSt
  2. Software Verification
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 13th International Conference on Verified S...

    Unser bisheriger Preis:ORGPRICE: 63,29 €

    Jetzt 63,28 €Ebook
    Alle Preise inkl. MwSt
  3. Software Verification
    0 %
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 13th International Conference on Verified S...

    Unser bisheriger Preis:ORGPRICE: 58,84 €

    Jetzt 58,83 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1