Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Software Verification Software Verification

    Software Verification

    Roderick Bloem
    Springer, Springer
    22.02.2022

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

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods for Safe Autonomy Formal Methods for Safe Autonomy

    Formal Methods for Safe Autonomy

    Chuchu Fan
    Association for Computing Machinery
    18.10.2024

    There are significant financial and legal implications for ensuring design correctness and safety...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 86,00 €

    Jetzt 73,83 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Safe Autonomy Formal Methods for Safe Autonomy

    Formal Methods for Safe Autonomy

    Chuchu Fan
    Association for Computing Machinery
    22.10.2024

    There are significant financial and legal implications for ensuring design correctness and safety...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 67,10 €

    Jetzt 54,57 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1