Hoppa till sidans huvudinnehåll

Ofer Strichman – författare

Visar alla böcker från författaren .
5 produkter
Ofer Strichman, Rachel Tzoref-Brill - Hardware and Software: Verification and Testing, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Daniel Kroening, Ofer Strichman - Decision Procedures, Inbunden

Decision Procedures

An Algorithmic Point of View

AvDaniel Kroening,Ofer Strichman

Inbunden, Engelska, 2008

1 189 kr

Skickas inom 5-8 vardagar

Ofer Strichman, Stefan Szeider - Theory and Applications of Satisfiability Testing - SAT 2010, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Daniel Kroening, Ofer Strichman - Decision Procedures, Inbunden

Decision Procedures

An Algorithmic Point of View

AvDaniel Kroening,Ofer Strichman

Inbunden, Engelska, 2017

719 kr

Skickas inom 5-8 vardagar

Daniel Kroening, Ofer Strichman - Decision Procedures, Häftad

Decision Procedures

An Algorithmic Point of View

AvDaniel Kroening,Ofer Strichman

Häftad, Engelska, 2018

489 kr

Skickas inom 5-8 vardagar