Theory and Applications of Satisfiability Testing - SAT 2010
Ofer Strichman, Stefan Szeider
Häftad, 2010
565 kr
Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
AvStefan Szeider,Ofer Strichman
E-bok
PDF, Engelska, 2010708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 8246
Del 10629
Hardware and Software: Verification and Testing
Ofer Strichman, Rachel Tzoref-Brill
Häftad, 2017
565 kr