Fundamentals of Logic and Computation

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

par Zhe Hou
3/5
Première édition
2022
Editeurs
Springer International Publishing AG
Langue
English

Livres

Livres similaires