Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Numerical Software Verification Numerical Software Verification

    Numerical Software Verification

    Sergiy Bogomolov
    Springer, Berlin, Springer

    This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Soft...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Sergiy Bogomolov
    Springer, Springer
    29.08.2022

    This book constitutes the refereed proceedings of the 20th International Conference on Formal Mod...

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1