Grid   List

  1. Taschenbuch
    BOD - 2 Tage

    This book describes the methodology and accompanying technology for reducing the costs of validat...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    BOD - 2 Tage

    These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27¿30,...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Taschenbuch
    BOD - 2 Tage

    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Taschenbuch
    BOD - 2 Tage

    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Taschenbuch
    BOD - 5 Tage

    This book considers formal verification of computerized systems. In formal verification (model ch...

    59,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Buch
    BOD - 7 Tage

    This book describes the methodology and accompanying technology for reducing the costs of validat...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1