Grid  List

  1. Validation of Evolving Software
    0 %
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,21 €

    Jetzt 53,49 €Ebook
    Alle Preise inkl. MwSt
  2. Ebook
    Sofort lieferbar

    The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th Inter...

    67,82 €Ebook
    Alle Preise inkl. MwSt
  3. Ebook
    Sofort lieferbar

    The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th Inter...

    83,29 €Ebook
    Alle Preise inkl. MwSt
  4. Verified Software: Theories, Tools and Experiments
    0 %
    Ebook
    Sofort lieferbar

    This volume constitutes the thoroughly refereed post-conference proceedings of the 6th Internatio...

    Unser bisheriger Preis:ORGPRICE: 51,34 €

    Jetzt 51,33 €Ebook
    Alle Preise inkl. MwSt
  5. Hardware and Software: Verification and Testing
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...

    Unser bisheriger Preis:ORGPRICE: 57,46 €

    Jetzt 57,45 €Ebook
    Alle Preise inkl. MwSt
  6. Decision Procedures
    0 %
    Ebook
    Sofort lieferbar

    A decision procedure is an algorithm that, given a decision problem, terminates with a correct ye...

    Unser bisheriger Preis:ORGPRICE: 57,36 €

    Jetzt 57,35 €Ebook
    Alle Preise inkl. MwSt
  7. Decision Procedures
    0 %
    Ebook
    Sofort lieferbar

    A decision procedure is an algorithm that, given a decision problem, terminates with a correct ye...

    Unser bisheriger Preis:ORGPRICE: 71,05 €

    Jetzt 71,04 €Ebook
    Alle Preise inkl. MwSt
  8. Model Checking, second edition
    0 %

    Unser bisheriger Preis:ORGPRICE: 86,40 €

    Jetzt 86,39 €Ebook
    Alle Preise inkl. MwSt
  9. Buch
    Print on Demand

    A decision procedure is an algorithm that, given a decision problem, terminates with a correct...

    80,24 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Buch
    Print on Demand

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

    53,49 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Taschenbuch
    Print on Demand

    This volume constitutes the thoroughly refereed post-conference proceedings of the 6th Internatio...

    51,36 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2