BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, shape your shelves, and share what is worth reading.

Books Lists Diary Stats Members Plans

© 2026 Cilt

Yükleniyor

Yazar

Ofer Strichman

3 cilt bulundu.

Cilt sonuçları

Theory and Applications of Satisfiability Testing - SAT 2010

Theory and Applications of Satisfiability Testing - SAT 2010

Ofer Strichman, Stefan Szeider · Springer

Sayfa sayısı yok · 2011

Kategori yok

Hardware and Software : Verification and Testing

Hardware and Software : Verification and Testing

Ofer Strichman, Rachel Tzoref-Brill · Springer

275 sayfa · 2017

Programming languages (electronic computers)

CiltTheory and Applications of Satisfiability Testing - SAT 2010Ofer Strichman, Stefan Szeider

Theory and Applications of Satisfiability Testing - SAT 2010

Ofer Strichman, Stefan Szeider · Springer London, Limited

400 sayfa · 2010

Kategori yok