Grid   List

  1. Buch
    Sofort lieferbar

    Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

    149,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    BOD - 2 Tage

    This book constitutes the thoroughly refereed proceedings of the 25th International Conference on...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Taschenbuch
    BOD - 2 Tage

    Model checking technology is among the foremost applications of logic to computer science and com...

    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1