Detailsuche

Grid  List

  1. Hardware and Software: Verification and Testing
    0 %
    Hardware and Software: Verification and Testing
    Ofer Strichman
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 13th International Haifa Verification Confe...

    Unser bisheriger Preis:ORGPRICE: 57,05 €

    Jetzt 57,04 €Ebook
    Alle Preise inkl. MwSt
  2. Theory and Applications of Satisfiability Testing - SAT 2010
    0 %
    Theory and Applications of Satisfiability Testing - SAT 2010
    Ofer Strichman
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,84 €

    Jetzt 57,83 €Ebook
    Alle Preise inkl. MwSt
  3. 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
  4. 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
  5. 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
  6. Efficient Decision Procedures for Validation
    Efficient Decision Procedures for Validation
    Ofer Strichman
    LAP Lambert Academic Publishing
    Taschenbuch
    Print on Demand

    This dissertation focuses on two subjects in formal verification. The first subject is the ...

    49,00 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Rachel Tzoref-Brill
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 13th International Haifa Verification Confe...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Decision Procedures
    Decision Procedures
    Ofer Strichman
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Theory and Applications of Satisfiability Testing - SAT 2010
    0 %
    Theory and Applications of Satisfiability Testing - SAT 2010
    Ofer Strichman
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the papers presented at SAT 2010, the 13th International Conference on Theor...

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Decision Procedures
    0 %
    Decision Procedures
    Daniel Kroening
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Buch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 69,54 €

    Jetzt 69,53 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1