Detailsuche

Grid  List

  1. Validation of Evolving Software
    0 %
    Validation of Evolving Software
    Hana Chockler
    Springer International Publishing
    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. Computer Aided Verification
    Computer Aided Verification
    Daniel Kroening
    Springer International Publishing
    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. Computer Aided Verification
    Computer Aided Verification
    Daniel Kroening
    Springer International Publishing
    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 %
    Verified Software: Theories, Tools and Experiments
    Dimitra Giannakopoulou
    Springer International Publishing
    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 %
    Hardware and Software: Verification and Testing
    Sharon Barner
    Springer Berlin Heidelberg
    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 %
    Decision Procedures
    Daniel Kroening
    Springer Berlin Heidelberg
    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 %
    Decision Procedures
    Daniel Kroening
    Springer Berlin Heidelberg
    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 %
    Model Checking, second edition
    Jr. Edmund M. Clarke
    MIT Press
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 86,40 €

    Jetzt 86,39 €Ebook
    Alle Preise inkl. MwSt
  9. Decision Procedures
    Decision Procedures
    Ofer Strichman
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    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. Validation of Evolving Software
    Validation of Evolving Software
    Hana Chockler
    Springer International Publishing, Springer International Publishing
    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. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Sharon Barner
    Springer Berlin Heidelberg
    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. Verified Software: Theories, Tools and Experiments
    Verified Software: Theories, Tools and Experiments
    Daniel Kroening
    Springer International Publishing, Springer International Publishing
    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