Ofer Strichman – författare
Visar alla böcker från författaren Ofer Strichman. Handla med fri frakt och snabb leverans.
9 produkter
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Häftad, 2018
390 kr
Lägg i varukorg
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, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Inbunden, 2017
569 kr
Lägg i varukorg
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, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Av Ofer Strichman, Rachel Tzoref-Brill
Häftad, 2017
566 kr
Lägg i varukorg
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 together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They …
Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Av Rachel Tzoref-Brill, Ofer Strichman
E-bok, 2017
755 kr
Lägg i varukorg
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 together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They …
Decision Procedures
An Algorithmic Point of View
Av Ofer Strichman, Daniel Kroening
E-bok, 2008
923 kr
Lägg i varukorg
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, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Av Ofer Strichman, Stefan Szeider
Häftad, 2010
566 kr
Lägg i varukorg
This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis?ability Testing. SAT 2010 was held as part of the 2010 Federated Logic Conference (FLoC) and was hosted by the School of Informatics at the University of Edinburgh, Scotland. …
Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Av Stefan Szeider, Ofer Strichman
E-bok, 2010
739 kr
Lägg i varukorg
Decision Procedures
An Algorithmic Point of View
Av Ofer Strichman, Daniel Kroening
E-bok, 2016
877 kr
Lägg i varukorg
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, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Inbunden, 2008
938 kr
Tillfälligt slut
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, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
