Ofer Strichman - Böcker

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

Hardware and Software: Verification and Testing

Av Ofer Strichman, Rachel Tzoref-Brill

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar
Daniel Kroening, Ofer Strichman - Decision Procedures, Inbunden

Decision Procedures

Av Daniel Kroening, Ofer Strichman

Inbunden, Engelska, 2008

949 kr

Skickas inom 10-15 vardagar
Ofer Strichman, Stefan Szeider - Theory and Applications of Satisfiability Testing - SAT 2010, Häftad

Theory and Applications of Satisfiability Testing - SAT 2010

Av Ofer Strichman, Stefan Szeider

Häftad, Engelska, 2010

739 kr

Skickas inom 10-15 vardagar
Daniel Kroening, Ofer Strichman - Decision Procedures, Inbunden

Decision Procedures

Av Daniel Kroening, Ofer Strichman

Inbunden, Engelska, 2017

669 kr

Skickas inom 5-8 vardagar
Daniel Kroening, Ofer Strichman - Decision Procedures, Häftad

Decision Procedures

Av Daniel Kroening, Ofer Strichman

Häftad, Engelska, 2018

419 kr

Skickas inom 5-8 vardagar