Ofer Strichman - Böcker

Visar alla böcker från författaren Ofer Strichman.

5 produkter

Kategorier

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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Decision Procedures

An Algorithmic Point of View

Av Daniel Kroening, Ofer Strichman

Inbunden, Engelska, 2008

939 kr

Skickas inom 10-15 vardagar

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, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Decision Procedures

An Algorithmic Point of View

Av Daniel Kroening, Ofer Strichman

Inbunden, Engelska, 2017

1 049 kr

Skickas inom 7-10 vardagar

Decision Procedures

An Algorithmic Point of View

Av Daniel Kroening, Ofer Strichman

Häftad, Engelska, 2018

609 kr

Skickas inom 7-10 vardagar