Ofer Strichman – författare
Visar alla böcker från författaren Ofer Strichman.
5 produkter
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
739 kr
Lägg i varukorg
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
739 kr
Lägg i varukorg
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Inbunden, 2017
739 kr
Lägg i varukorg
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Häftad, 2018
509 kr
Lägg i varukorg
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Inbunden, 2008
1219 kr
Tillfälligt slut