Profisuche

ofer strichman

Grid   List

  1. Decision Procedures

    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...

    69,54 €
    Alle Preise inkl. MwSt
  2. Theory and Applications of Satisfiability Testing - SAT 2010

    Theory and Applications of Satisfiability Testing - SAT 2010

    Ofer Strichman
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
  3. Decision Procedures

    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...

    53,49 €
    Alle Preise inkl. MwSt
  4. Hardware and Software: Verification and Testing

    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...

    53,49 €
    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 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Rachel Tzoref-Brill
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Decision Procedures

    Decision Procedures

    Ofer Strichman
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Decision Procedures

    Decision Procedures

    Daniel Kroening
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Buch
    Nicht lieferbar

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

    81,88 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1