ผู้เขียน: Ofer Strichman

สนับสนุน

4 หนังสืออิเล็กทรอนิกส์โดย Ofer Strichman

Ofer Strichman & Rachel Tzoref-Brill: Hardware and Software: Verification and Testing
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together …
PDF
อังกฤษ
DRM
€57.96
Daniel Kroening & Ofer Strichman: Decision Procedures
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, bu …
PDF
อังกฤษ
DRM
€71.05
Daniel Kroening & Ofer Strichman: Decision Procedures
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, bu …
PDF
อังกฤษ
DRM
€58.04