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 yes no answer. Here, the authors focus on theories that are expressive enough to model real problems, ...
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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
    Theory and Applications of Satisfiability Testing - SAT 2010
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 yes no answer. Here, the authors focus on theories that are expressive enough to model real problems, ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Conference, HVC 2017, held in Haifa, Israel in November 2017.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Decision Procedures
    Decision Procedures
    Ofer Strichman
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Bezug 11-15
    A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes no answer. Here, the authors focus on theories that are expressive enough to model real problem...
    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Decision Procedures
    Decision Procedures
    Daniel Kroening
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Buch
    Bezug 11-15
    A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes no answer. Here, the authors focus on theories that are expressive enough to model real problem...
    81,88 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Rachel Tzoref-Brill
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented togethe...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Decision Procedures
    Decision Procedures
    Ofer Strichman
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes no answer. Here, the authors focus on theories that are expressive enough to model real problem...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. 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 development of methods and tools for the formal verification of compilers. We offer the ...
    49,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>