Ofer Strichman - books and biography
Ofer Strichman - books and biography
1 product
Hardcover
Clear all
1 product
Paper book «Decision Procedures: An Algorithmic Point of View», authors Daniel Kroening, Ofer Strichman – фото №1
0
0
Decision Procedures: An Algorithmic Point of View
Daniel Kroening Daniel Kroening, Ofer Strichman
Not available