Ofer Strichman - Böcker
Visar alla böcker från författaren Ofer Strichman.
5 produkter
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
Häftad, Engelska, 2017
719 kr
Skickas inom 10-15 vardagar
1 159 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
Häftad, Engelska, 2010
719 kr
Skickas inom 10-15 vardagar
709 kr
Skickas inom 5-8 vardagar
479 kr
Skickas inom 5-8 vardagar