Hoppa till sidans huvudinnehåll

Ofer Strichman – författare

Visar alla böcker från författaren Ofer Strichman.
5 produkter
Del 10629 - Lecture Notes in Computer Science

Hardware and Software: Verification and Testing

13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

AvOfer Strichman,Rachel Tzoref-Brill

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar

Decision Procedures

An Algorithmic Point of View

AvDaniel Kroening,Ofer Strichman

Inbunden, Engelska, 2008

1 149 kr

Skickas inom 5-8 vardagar

Theory and Applications of Satisfiability Testing - SAT 2010

13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

AvOfer Strichman,Stefan Szeider

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar

Decision Procedures

An Algorithmic Point of View

AvDaniel Kroening,Ofer Strichman

Inbunden, Engelska, 2017

699 kr

Skickas inom 5-8 vardagar

Decision Procedures

An Algorithmic Point of View

AvDaniel Kroening,Ofer Strichman

Häftad, Engelska, 2018

479 kr

Skickas inom 5-8 vardagar