Ofer Strichman – författare

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

5 produkter

Kategorier

5 produkter

Del 10629
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
749 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
AvOfer Strichman,Stefan Szeider
Häftad, Engelska, 2010
749 kr
Skickas inom 10-15 vardagar
Decision Procedures
An Algorithmic Point of View
AvDaniel Kroening,Ofer Strichman
Inbunden, Engelska, 2017
729 kr
Skickas inom 5-8 vardagar
Decision Procedures
An Algorithmic Point of View
AvDaniel Kroening,Ofer Strichman
Häftad, Engelska, 2018
499 kr
Skickas inom 5-8 vardagar
Decision Procedures
An Algorithmic Point of View
AvDaniel Kroening,Ofer Strichman
Inbunden, Engelska, 2008
1 189 kr
Tillfälligt slut