Fundamentals of Logic and Computation

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

بواسطة Zhe Hou
3/5
نشرت لأول مرة
2022
الناشرون
Springer International Publishing AG
لغة
English

كتب

كتب مماثلة